[TYPES/announce] Postdoc position at the University of Lisbon

[Vasco T. Vasconcelos]

We welcome applications for a post-doctoral scholarship.

The position is funded by the research project "Advanced Type Systems
for Multicore Programming". The objective of the project is the
development of new concurrency abstractions, together with the
associated static analysis methods for multicore programming (see
http://gloss.di.fc.ul.pt/types-multicore).

We seek applicants with strong interest in some of the following
topics: programming language design and implementation, programming
logics and types, verification, and concurrency.  The successful
candidates will in work closely with Prof Vasco T. Vasconcelos, in the
{Lasige} Group of Software Systems, http://gloss.di.fc.ul.pt and the
Department of Computer Science, Faculty of Sciences, University of
Lisbon.

Applicants must hold a PhD in Computer Science, Mathematics or related
discipline, and must produce evidence of expertise on the topics of
the project.

For full details and how to apply see http://lasige.di.fc.ul.pt/Open_Positions.