Open position for a PostDoc Position at SQIG-IT, Instituto de Telecomunicacoes/IST-University of Lisboa

Deadline for Application: 29-October-2013

On the context of the ComFormCrypt project, PTDC/EIA-CCO/113033/2009, sponsored by the National Foundation for Science (FCT), it is open a PostDoc position, in the field of Security and Protocol Verification.

The ComFormCrypt project aims at delivering new insights to the relationship between the symbolic and computational models of cryptography, clarifying the applicability and limitations of existing approaches to this problem, and at providing sound mathematical foundations for this problem.

The researcher will collaborate on the development of a logic for verification of security properties of protocols. This logic will be computationally sound and consequently its results entail strong cryptographic guarantees to the computational model.

Offers:

Requirements:

Preferred conditions:

Board of examiners: Prof. Pedro Adao (who presides) and Profs. Paulo Mateus and Carlos Caleiro.

To apply, please send a CV, a document certifying applicant's qualifications, and the names of two references by e-mail to Pedro Adao

Further enquiries are also welcomed for this e-mail.