IMDEA initiative

Home > Open Positions

PhD student and intern in Refinement Types and Theorem Proving

Applications are invited for one intership and one PhD position at the IMDEA Software Institute, Madrid, Spain.

Selected candidates will work under the supervision of Niki Vazou. The topic of the research, to be determined based on the common interests of the candidate and the supervisor, will be in the areas of software verification, functional programming, theorem proving, and refinement types.

Candidates should have an excellent MSc or BSc degree in computer science or a related subject, with an interest in the above areas, and a strong commitment to research.

The positions require interest in functional programming, good teamwork and communication skills, including excellent spoken and written English. Salaries at IMDEA Software Institute are internationally competitive.

For any questions about these positions, please contact Niki directly (niki dot vazou at imdea dot org).

Deadline for applications is April 3rd, 2019. Review of applications will begin immediately.

Applications should be submitted online at:

PhD candidates should select option 5 - PhD Student and reference code 2019-02-phd-liquidtypes
Internship candidates should select option 7 - Internships and reference code 2019-02-intern-liquidtypes