[ The Types Forum (announcements only),
(Apologies for multiple copies)
The Research Centre of Mathematics of University of Minho, Portugal, is
opening two vacancies for 5-year research fellowships under the FCT
programme Ciencia 2007.
Candidates with relevant post-doctoral research experience in the area
of "Logic and Computation" are eligible. Preference is given to
researchers with experience in Proof Theory or Type Theory and their
applications to Computer Science, in particular to foundations of
programming, formal developments of proofs, or computational complexity.
The successful applicants are expected, in particular, to reinforce the
existing research group, to participate in scientific networks, and to
apply for external funding. The contractual conditions include a base
salary of approximatelly 43000 euros year, before taxes.
Application deadline: 30 May 2008.
For more information see
Jose Espirito Santo: [EMAIL PROTECTED]
Luis Pinto: [EMAIL PROTECTED]