PhD Scholarship in Cyber-Physical Systems: The IMDEA Software Institute invites applications for a PhD position focused on formal methods and control systems, particularly in verifying and controlling dynamical systems under uncertainties.
PhD Scholarship in Safe and Verified Cyber-Physical Systems
Designation
PhD Student
Research Area
- Formal Methods
- Control Systems
- Verification of Continuous and Discrete Dynamical Systems
Location
Madrid, Spain
Eligibility/Qualification
- Master’s degree in Computer Science (CS)
- Background in formal verification, algorithms, or control systems is beneficial but not mandatory.
Description
The selected candidate will work under the supervision of Kaushik Mallik. The PhD topic will be tailored to mutual interests but will involve both algorithm development and practical implementation targeted at verifying and controlling dynamical systems.
How to Apply
Interested applicants should submit their applications at IMDEA Careers using reference code 2026-01-phd-verifcps.
Last Date to Apply
February 10th, 2026
Additional Information
Salaries are competitive with attractive conditions, including access to an excellent public healthcare system. The primary working language at the institute is English; knowledge of Spanish is not required. The recruitment process adheres to the OTM-R Policy (Open, Transparent and Merit-based Recruitment). For inquiries, please contact Kaushik Mallik directly.
