[TYPES/announce] PostDoc and PhD positions at Instituto de Telecomunicacoes/IST, Lisboa

[Pedro Adão]

(Apologies for multiple copies)

Applications are invited for 

- one PostDoc position (deadline 18/Nov/2011) and 
- one PhD position (deadline 23/Nov/2011)

within the Security and Quantum Information Group (SQIG) of Instituto de Telecomunicacoes (IT), Lisboa, Portugal. These positions are offered in the scope of the ComFormCrypt project that aims at developing logics for studying properties of security protocols. For more details about the project please visit the webpage at

http://www.math.ist.utl.pt/~padao/projects/ComFormCrypt/

Applicants should hold a MSc/PhD degree in Mathematic or Computer Science for the PhD/postdoc position, respectively.
The ideal candidate will have interests in logics, complexity, and probabilities. These positions include NO teaching duties and the starting date can be as early as January 2012 (negotiable).  

Knowledge of Portuguese is not a prerequisite as the working language is English.

To apply, please send a CV, a brief research statement, and the names of two references to Pedro Adao (pedro.adao at ist.utl.pt) 
Further enquiries are also welcomed.

Instituto de Telecomunicações (IT) is a private, not-for-profit association of Instituto Superior Técnico, Universidade de Aveiro, Faculdade de Ciências e Tecnologia da Universidade de Coimbra, Universidade da Beira Interior, Portugal Telecom Inovação and Nokia Siemens Networks, with more than 200 researchers. In recognition of its achievements IT was awarded the status of Associate Laboratory in 2001.

ComFormCrypt is a 3-year project funded by FCT-Fundacao para a Ciencia e Tecnologia.

------------------------------------

Pedro Adão
Department of Computer Science and Engineering
Instituto Superior Técnico
Avenida Professor Cavaco Silva,
2744-016 Porto Salvo, PORTUGAL
Tel. (+351) 21-423-3260
Fax. (+351) 21-423-3247
http://web.ist.utl.pt/~pedro.adao/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20111107/637d6052/attachment.html>