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:
* 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,
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:
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.