Open position for a PhD Scholarship at SQIG-IT, Instituto de Telecomunicacoes-Lisboa, Portugal

Description
On the context of the ComFormCrypt project, PTDC/EIA-CCO/113033/2009, sponsored by the National Foundation for Science (FCT), it is open a Research 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.

Eligibility

1. Candidates must hold a MSc in Mathematics, Computer Science or an affiliated subject.
2. Candidates must have interests in logics, complexity, and probabilities.
3. Candidates must be fluent in English.
4. Candidates must be fully dedicated to the research project during this period.
5. Candidates are expected to help on the development of the logic, producing research papers on international conferences and/or journals.

Application Procedure
To apply, please send a CV, a document certifying applicant's qualifications, and the names of two references by e-mail to Pedro Adao (pedro.adao@ist.utl.pt)

Further enquiries are also welcomed for this e-mail.

Submission Deadline
27-01-2012

website Link
http://www.it.pt