Two postdoc positions in Lisbon

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 http://lasige.di.fc.ul.pt/Open_Positions.

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