PhD on Cyber-Physical Systems: The IMDEA Software Institute in Madrid, Spain, invites applications for a PhD position in the area of safe and verified cyber-physical systems. This role offers a unique opportunity to engage in algorithm development and practical implementation related to the verification and control of dynamical systems.
PhD on Safe and Verified Cyber-Physical Systems
Designation
PhD Student (Cyber-Physical Systems)
| Category | Details |
|---|---|
| Research Area | Formal Methods and Control Systems |
| Location | IMDEA Software Institute, Madrid, Spain |
| Eligibility/Qualification | Master’s degree in Computer Science |
| Deadline for Application | October 3, 2025 |
Research Area
The PhD will focus on the verification and control of continuous and discrete dynamical systems under uncertainties, utilizing formal methods.
Location
IMDEA Software Institute, Campus Montegancedo, s/n, 28223 Pozuelo de Alarcón, Madrid, Spain
Eligibility/Qualification
- Master’s degree in Computer Science (CS)
- Prior experience in formal verification, algorithms, and control systems is appreciated but not mandatory.
Description
The selected PhD candidate will work closely with Kaushik Mallik on research that encompasses both theoretical and practical aspects of cyber-physical systems. The goal is to develop new algorithms and implement them effectively in real-world scenarios. The position promises competitive salaries and benefits, including access to a robust public healthcare system. English is the primary working language; knowledge of Spanish is not required.
How to Apply
Interested applicants should submit their application through the following link: Application Portal using the reference code 2025-09-phd-verifcps.
Last Date for Application
October 3, 2025
This position is compliant with the IMDEA Software Institute’s OTM-R Policy.
