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
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
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
Departamento de Informática
Universidade do Minho
Campus de Gualtar
4709 Braga Codex