Applications are invited for a postdoc position in the area of modal logic, model theory and programming language design at IMDEA Software Institute in Madrid, Spain.
The selected candidate will work with
The candidate must have a Ph.D. degree in Computer Science, preferably with expertise in modal logic and modal types. Good teamwork and communication skills, including excellent spoken and written English are essential. The research will be conducted under the supervision of Aleks Nanevski. Interested applicants are encouraged to contact him personally.
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-09-postdoc-modal. Deadline for applications is October 10th, 2025. Review of applications will begin immediately.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy (Open, Transparent and Merit-based Recruitment).
For enquiries about the position, please contact Aleks Nanevski directly ().
