<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><br>We welcome applications for two (2) post-doctoral scholarships.<br><br> *** DEADLINE 15 OCTOBER 2009 ****<br><br>The positions are funded by the research project "Certified Interfaces<br>for Integrity and Security in Extensible Web-based Applications", in<br>the context of the Carnegie Mellon-Portugal partnership, an<br>international research / educational initiative launched by FCT, the<br>portuguese national science foundation (see <a href="http://www.cmuportugal.org/">www.cmuportugal.org</a>).<br><br>Project partners are CITI FCT UNL (L. Caires), LASIGE FC UL<br>(V. Vasconcelos), Carnegie Mellon CSD (F. Pfenning), and industrial partner<br>OutSystems SA. The hosting environment will be the PLT Group at CITI<br>(leading site) for the first position and the GLOSS Group at LASIGE for the<br>second position, with extended visits to Carnegie Mellon Department of<br>Computer Science. More information about the research environment may<br>be found at websites of the hosting institutions.<br><br>The objective of the project is the development of techniques for<br>enforcing security, integrity, and correctness requirements on<br>distributed extensible web-based applications by introducing novel,<br>semantically rich notions of interface description languages, based on<br>advanced type systems and logics, such as resource / epistemic logics<br>and behavioral / session types. We seek applicants with strong<br>interest in some of the following topics: programming language design<br>and implementation, programming logics and types, verification, and<br>concurrency.<br><br>The contracts are for the 3 years duration of the project.<br>Administrative rules applicable may be found in the FCT/MCTES site in<br><a href="http://alfa.fct.mctes.pt/apoios/bolsas/">http://alfa.fct.mctes.pt/apoios/bolsas/</a>.<br><br>Applications should include a curriculum vitae in pdf format, contact<br>details for three referees, and should be sent to<br><br>CITI - Centro de Informatica e Tecnologias da Informação<br>Faculdade de Ciências e Tecnologia,<br>Universidade Nova de Lisboa 2829-516 Caparica,<br>Portugal<br><br>E-mail: citi-admin(at)di.fct.unl.pt<br>URL: citi.di.fct.unl.pt<br><div>Telephone: +351 212 948 536<br>Fax: +351 212 948 541<br><br>Please email us for any further questions about the positions and the<br>related research project,<br><br>Best regards,<br><br>Luis Caires (luis.caires(at)di.fct.unl.pt)<br>Frank Pfenning (fp(at)cs.cmu.edu)<br>Vasco Vasconcelos (vv(at)di.fct.unl.pt)</div></body></html>