Email Gateway (Aug 18 2022 at 18:50): Email Gateway (Aug 18 2022 at 18:50):From: Gilles Barthe <gjbarthe@gmail.com>
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:
http://software.imdea.org/projects/certicrypt
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.
For further information, please contact Gilles Barthe
(gilles.barthe@imdea.org).
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.
Salaries
Salaries at the institute are internationally competitive. Employees
have access to an excellent public healthcare system.
Work Environment
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
Researchers.
Last updated: Nov 21 2024 at 12:39 UTC