[TYPES/announce] Ph.D. and postdoctoral positions at IMDEA Software Institute

Gilles Barthe gjbarthe at gmail.com
Wed Dec 14 14:25:04 EST 2011

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.

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.

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

More information about the Types-announce mailing list