[TYPES/announce] Open PhD positions

[Kaushik Mallik]

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://urldefense.com/v3/__https://software.imdea.org/careers/2026-01-phd-verifcps/__;!!IBzWLUs!RHFomJRHKqqMSrMZ6b5aAmJ-BMk_hTXizH5cbPWOpOgYqDi-pfOSzQj_qgbfTfjwwX37wWhQBEFWcojksi7eijdRYIRoi-2FlKT54A0$ 

If you have further questions, please feel free to reach out at: 
kaushik.mallik at imdea.org

Best,
Kaushik

-- 
Kaushik Mallik
Assistant Research Professor
IMDEA Software Institute
Campus de Montegancedo s/n,
28223 Pozuelo de Alarcón,
Madrid, Spain
Web:https://urldefense.com/v3/__https://kmallik.github.io/__;!!IBzWLUs!RHFomJRHKqqMSrMZ6b5aAmJ-BMk_hTXizH5cbPWOpOgYqDi-pfOSzQj_qgbfTfjwwX37wWhQBEFWcojksi7eijdRYIRoi-2Fnd7ADFk$