Applications are invited for a PhD position at the IMDEA Software Institute, Madrid, Spain.
The selected candidate will work under the supervision of Niki Vazou on theory and implementation of refinement types.
Candidates should have a Masters degree in computer science, mathematics, or a related discipline, with expertise in functional programming and an interest in formal verification.
A strong commitment to research as well as top programming skills are required. Good teamwork and communication skills, including excellent spoken and written English are also required.
The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. The institute provides for travel expenses and an internationally competitive stipend. The working language at the institute is English.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2025-03-phd-crete. Deadline for applications is April 29th, 2025. Review of applications will begin immediately.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.
For enquiries about the position, please contact Niki Vazou directly ().
