[isabelle] Ph.D. and postdoctoral positions at IMDEA Software Institute
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
* 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.
For further information, please contact Gilles Barthe
(gilles.barthe at imdea.org).
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.
Salaries at the institute are internationally competitive. Employees
have access to an excellent public healthcare system.
The institute is located in the vibrant area of Madrid, Spain, and
offers an ideal working environment where researchers can focus on
developing new ideas and projects. The working language is English.
For more information please visit the web pages of the IMDEA Software
Institute at www.software.imdea.org
The IMDEA Software Institute is an Equal Opportunity Employer and
strongly encourages applications from a diverse and international
community. The institute complies with the European Charter for
This archive was generated by a fusion of
Pipermail (Mailman edition) and