International Association for Cryptologic Research

International Association
for Cryptologic Research

IACR News item: 17 June 2014

IMDEA Software Institute, Madrid
Job Posting Job Posting

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 visit: https://www.easycrypt.info/Team

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.

Expand

Additional news items may be found on the IACR news page.