[TYPES/announce] Open PhD positions

[Kaushik Mallik]

Dear colleagues,

My research group at IMDEA Software Institute in Madrid has multiple, 
fully-funded open PhD positions in the broad area of formal verification 
and cyber-physical systems design. The goal of the PhD will be building 
foundations and algorithms for the design of real-world cyber-physical 
systems with rigorous correctness guarantees. All applicants need to 
have a master's degree in CS and have the willingness to work in 
problems in the intersection of theory and practice.

The ideal starting date is March 1, 2026 or before, but it is 
negotiable. The application deadline is *October 3, 2025*.

Interested candidates may apply here: 
https://urldefense.com/v3/__https://software.imdea.org/careers/2025-09-phd-verifcps/__;!!IBzWLUs!WwP_m2yG_aC1-gyqadeK6VWtfo3QnxqQyLQKRX8qHJWEtPPOWk5Ci5IzGQx6-2XjbLxigTuQgYXEJCrJFPcVWqVjHsoMBlsJ2WoJddQ$ 

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!WwP_m2yG_aC1-gyqadeK6VWtfo3QnxqQyLQKRX8qHJWEtPPOWk5Ci5IzGQx6-2XjbLxigTuQgYXEJCrJFPcVWqVjHsoMBlsJZSofNMQ$