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 multiple motivated PhD students 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 positions are 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.
Deadline for applications is October 3rd, 2025. Review of applications will begin and be filled immediately.
Applicants interested in the position should submit their application at https://careers.software.imdea.org/ using reference code 2025-09-phd-verifcps. Deadline for applications is October 3rd, 2025.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.
For enquiries about the position, please contact Kaushik Mallik directly ().
