Dear colleagues,
My research group at the IMDEA Software Institute in Madrid has a fully
funded open PhD position. The PhD topic focuses on foundational research
in the broad area of formal verification and control of cyber-physical
systems. Such systems are ubiquitous—ranging from self-driving cars to
medical devices—and are typically safety-critical. The design of control
software for cyber-physical systems with rigorous correctness guarantees
has therefore become a pressing research priority. The goal of the PhD
research is to develop algorithms for the automatic synthesis of
software that remains reliable in the presence of real-world uncertainties.
Applicants need to have a recent master's degree in CS and the
willingness to work in problems in the intersection of theory and practice.
The ideal starting date is September 1, 2026, or before, but it is
flexible. The application deadline is *February 10, 2026*.
Interested candidates need to apply here:
https://software.imdea.org/careers/2026-01-phd-verifcps/
If you have further questions, please feel free to reach out at:
kaushik.mallik@imdea.org
Best,
Kaushik