[TYPES/announce] PhD positions in computer-aided cryptography (IMDEA Software Institute, Madrid)

Gilles Barthe gjbarthe at gmail.com
Wed Jun 11 06:19:17 EDT 2014

The IMDEA Software Institute (Madrid, Spain) has openings for two
Ph.D. positions. We are looking for highly motivated students with a
background in at least one of the following fields:

  * cryptography,
  * programming languages,
  * verification,

and an interest in carrying out research at their intersection.

The positions are within the computer-assisted cryptography group. The
group is actively working on:

- the development of new programming languages and verification
methods for the design and analysis of cryptographic systems,

- the implementation of computer-aided tools for cryptographic proofs,
including EasyCrypt and ZooCrypt, and

- their application to the formal verification of descriptions and
implementations of cryptographic standards and systems.

For more information about the group and our recent research, please


The positions start from September 1, 2014 (negotiable); it is
expected that students will complete their Ph.D. in 4 years. The
salary is around 24K euros per year, which provides for very
comfortable living in Madrid; in addition, students will have access
to a generous health package. The working language is English.

Applications should arrive no later than July 6, 2014 and should
include a CV, a cover letter, and the names and contact details for
two references.  Later applications will be considered until the
positions are filled.

Applications and requests for further information about the positions
should be directed to phd-recruit at easycrypt.info.

More information about the Types-announce mailing list