[TYPES/announce] Post-doc position on "Advanced Type Systems for Multicore Programming"

Vasco T. Vasconcelos vv at di.fc.ul.pt
Fri May 31 05:59:56 EDT 2013

Lasige, Large-Scale Informatics Systems Laboratory
http://lasige.di.fc.ul.pt/, is looking for a post-doc to join the
Advanced Type Systems for Multicore Programming project.

Objective of the project: development of new concurrency abstractions,
together with the associated static analysis methods for multicore and
cluster programming, 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

Applicants must hold a PhD in Computer Science, Mathematics or related
discipline, and must produce evidence of expertise on the topics of
the project. The call is open until June 27.

For full details and how to apply see

Further inquires may be made to Vasco T. Vasconcelos, vv at di.fc.ul.pt.

Vasco  Thudichum  Vasconcelos             http://www.di.fc.ul.pt/~vv
Dep. of Informatics,    Faculty of Sciences,    University of Lisbon
Phone/Fax: +351 217 500 608/084                       vv at di.fc.ul.pt
Bloco C6 - Piso 3, Campo Grande, 1749-016 Lisboa , Portugal

More information about the Types-announce mailing list