Open position for a PhD Scholarship at SQIG-IT, Instituto de Telecomunicacoes/IST-University of Lisboa
Deadline for Application: 04-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 PhD 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:
Research Scholarship of 980 Euros (net) monthly plus Social Security for 10 months, with the possibility of renewal within the scope of the PhD program;
Insertion into a young and multidisciplinary team that ranges from Physicists to Computer Scientists.
Requirements:
Candidates must hold a MSc 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.
Preferred conditions:
Immediate availability to initiate the work
Sound knowledge on Logic and Computer Science, and
Intention of proceeding with PhD studies in the area of Security.
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.