International Association
for Cryptologic Research

The IMDEA Software Institute (Madrid, Spain) has several openings at

the Ph.D. and post-doctoral levels. The positions are attached to the

computer-aided security proofs project, which develops language-based

methods and tools for the verification of cryptographic systems. We seek

applicants with a strong background in at least one of the following fields:

* cryptography

* language-based security

* program analysis and program verification

* automated and interactive proofs

Successful applicants are expected to contribute to the development of

the CertiCrypt toolset, and must have an interest to carry research at

the intersection between programming languages, formal verification,

and cryptography.

Post-doctoral positions are for one year, with the possibility of

renewal for up to four years. Ph.D. positions are for four years,

subject to satisfactory progress. Starting date is negotiable.

Application materials are available at the URL:

https://www.imdea.org/internationalcall/Default.aspx?IdInstitute=17

When completing your application, please indicate Computer-Aided

Cryptographic Proofs in the research lines.

Applications must be received by January 30, 2012 to receive full

consideration. However, applications will continue to be accepted

until the positions are filled.