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:
- PostDoc Fellowship of 1495 Euros (net) monthly plus Social Security for 9 months;
- Insertion into a young and multidisciplinary team that ranges from Physicists to Computer Scientists.
Requirements:
- Candidates must hold a PhD in Mathematics, Computer Science or an affiliated subject.
- Candidates must have interests in logics, complexity, and probabilities.
- Candidates must be fluent in English.
- Candidates must be fully dedicated to the research project during this period.
- Candidates are expected to help on the development of the logic.
- Candidates are expected to Co-supervise MSc and PhD students and to contribute to new research proposals.
Preferred conditions:
- Immediate availability to initiate the work as soon as November 2013.
- Sound knowledge on Logic and Computer Science.
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.