[Prev][Next][Index][Thread]

Research Position




The Department of Computer Science at the University of Minho (Braga,
Portugal) is seeking for a research fellow to work on topics related
to subtyping in functional programming languages and proof-development
systems.

The position is connected to a 2-years joint project between the
Department of Mathematics and the Department of Computer Science,
funded by the Portuguese Science Foundation (FCT) and starting on 1st
July 1999. While a 2-years appointment is preferred, applications for
a shorter period will be considered.

Applicants should hold a Ph.D. in Computer Science or Mathematics
and  have a strong background in one or more of the following areas:
- type systems;
- (functional) programming languages;
- proof-development systems;
- formal verification.

The salary for the position is 270 000 PTE (1350 Euros) per month and
is tax-free. [The amount is quite comfortable due to the low cost of
living].

Anyone interested in the position is welcome to enter in contact by
email and/or to visit the project homepage for more information.

To apply, please send a C.V. with the names and addresses of three
referees by email (preferred) or by surface mail (discouraged) to

Gilles Barthe
mailto:gilles@di.uminho.pt
Departamento de Informática
Universidade do Minho
 Campus de Gualtar
 4709 Braga Codex
Portugal