I am looking for one 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 both bachelor’s and 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 December 31st, 2024. 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 2024-12-phd-verifcps.
The recruitment process will comply with the IMDEA Software Institute’s OTM-R Policy.
For enquiries about the position, please contact .
