[TYPES/announce] PostDoc position at Instituto de Telecomunicacoes/IST, Lisboa

[Pedro Adão]

(Apologies for multiple copies)

Applications are invited for 

- one PostDoc position (DEADLINE 4/July/2012)

within the Security and Quantum Information Group (SQIG) of Instituto de Telecomunicacoes (IT), Lisboa, Portugal. This position is 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 PhD in Mathematic or Computer Science.
The ideal candidate will have interests in logics, complexity, and probabilities. This position includes NO teaching duties and the starting date can be as early as August 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/20120621/30b42eb8/attachment.html>