[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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:
[email protected]
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$
