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

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

Gilles Barthe
Departamento de Informática
Universidade do Minho
 Campus de Gualtar
 4709 Braga Codex