see this: https://www.easycrypt.info/trac/wiki/Team
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.
Applications and requests for further information about the positions should be directed to phd-recruit@easycrypt.info.