Two postdoc positions in Lisbon

by Vasco Vasconcelos, Nov. 16, 2012

Lasige, Large-Scale Informatics Systems Laboratory, is looking for
post-docs to join two ongoing projects. For full details and how to apply see

Lasige, Large-Scale Informatics Systems Laboratory is looking for post-docs to join two ongoing projects.

Liveness Statically. Objective: development of automatic solutions to guarantee liveness properties of distributed, collaborative, communication-centred, software systems and applications.

Advanced Type Systems for Multicore Programming. Objective: development of new concurrency abstractions, together with the associated static analysis methods for multicore programming.

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 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

Further inquires may be made to Vasco Vasconcelos, [email protected]