We welcome applications for a post-doctoral scholarship.

              *** DEADLINE 30 FEBRUARY 2011 ****

The position is funded by the research project "Certified Interfaces
for Integrity and Security in Extensible Web-based Applications",
CMU-PT/NGN/0044/2008, in the context of the Carnegie Mellon-Portugal
partnership, an international research / educational initiative
launched by FCT, the portuguese national science foundation (see
www.cmuportugal.org).

Project partners are CITI FCT UNL (L. Caires), LASIGE FC UL
(V. Vasconcelos), Carnegie Mellon CSD (F. Pfenning), and industrial
partner OutSystems SA. The hosting environment will be the GLOSS Group
at LASIGE, with extended visits to Carnegie Mellon Department of
Computer Science.  More information about the research environment may
be found at websites of the hosting institutions.

The objective of the project is the development of techniques for
enforcing security, integrity, and correctness requirements on
distributed extensible web-based applications by introducing novel,
semantically rich notions of interface description languages, based on
advanced type systems and logics, such as resource / epistemic logics
and behavioral / session types. 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 contract is for one year, extensible until the end of
2012. Administrative rules applicable may be found in the FCT/MCTES
site in http://alfa.fct.mctes.pt/apoios/bolsas/.

Applications should include a curriculum vitae in pdf format, contact
details for three referees, and should be sent to

LaSIGE - Laboratório de Sistemas Informáticos de Grande-Escala
Faculdade de Ciências da Universidade de Lisboa
Departamento de Informática
Edifício C6, Piso 3, Sala 30
Campo Grande
1749-016 Lisboa
Portugal
Phone: +351 21 750 05 32
Fax: +351 21 750 05 33
Email: Pedro Gonçalves, pgoncalves@di.fc.ul.pt

Please email us for any further questions about the positions and the
related research project,

Best regards,

Luis Caires, luis.caires(at)di.fct.unl.pt
Frank Pfenning, fp(at)cs.cmu.edu
Vasco Vasconcelos, vv(at)di.fc.ul.pt