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

[Vasco T. Vasconcelos]

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
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. The call is open until June 27.

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

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