🎓 Discover PhD and Master's programmes at leading universities worldwide — Sign up free to save searches and get email alerts

🎓 Control Theory PhDs

Rigorous Safety and Reliability in Autonomous Systems via Formal Verification and Data-Driven Control
University of Birmingham Prof. Sadegh Soudjani 🎓 Applied Mathematics 🎓 Computer Science Deadline: 10 May 2024

Explore how to develop mathematically rigorous methods ensuring safety and reliability in autonomous systems by integrating control theory, formal verification, and probabilistic approaches. Ideal for candidates eager t…

This research is crucial for advancing the safety and reliability of autonomous systems deployed in real-world safety-critical applications…

3500+ citations · h30
Cyber-Physical Systems Safe Autonomy & AI Model Checking Formal Methods
PhD Position in Control Theory and Formal Verification for Autonomous Systems Safety
University of Birmingham 🎓 Control Theory Deadline: 10 May 2024

Explore interdisciplinary research combining control theory, formal verification, and data-driven methods to guarantee the safety of autonomous systems. Develop new frameworks that ensure the reliability of AI in critic…

This research is vital for advancing the safety and reliability of autonomous technologies increasingly embedded in essential sectors. By c…

3580+ citations · h33
Cyber-Physical Systems Safe Autonomy & AI Model Checking Formal Methods
Fully Funded PhD Scholarship in ‘Control and Robotics’ in Mechanical Engineering
University of Galway Dr Panpan Zhou 🎓 AI & Embodied Intelligence 🎓 Control Theory Deadline: 15 Jun 2026

A fully funded PhD at the University of Galway on control and robotics, focusing on multi-agent systems, distributed optimization, game-theoretic control, and learning-based embodied intelligence.