Applications are invited to apply for one phd position at the IMDEA Software Institute, Madrid, Spain.
The selected candidate will work with Kaushik Mallik: I am looking for a motivated PhD student in the area of formal methods and control systems. The exact PhD topic will be decided based on mutual interests, but needs to be broadly related to the verification and control of continuous and discrete dynamical systems under uncertainties. The goal will be both algorithm development and practical implementation.
Candidates with master’s degrees in CS are welcome to apply. Prior backgrounds in formal verification, algorithms, and control systems will be appreciated but not necessary.
The position is based in Madrid, Spain, where the IMDEA Software Institute is situated. Salaries are internationally competitive and include attractive conditions such as access to an excellent public healthcare system. The working language at the institute is English. Knowledge of Spanish is not required.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2026-01-phd-verifcps. Deadline for applications is February 10th, 2026. 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 Kaushik Mallik directly ().
