PhD Position in Control Theory and Formal Verification for Autonomous Systems Safety
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 critical sectors such as transportation and healthcare.
AI-generated overview
Project Description
Project Overview
This PhD focuses on developing mathematically rigorous and principled approaches to guarantee the safety and reliability of autonomous systems. Situated at the crossroads of control theory, formal verification, probability, and data-driven methods, the research addresses both theoretical and practical challenges in verifying and controlling complex, data-driven autonomous systems.
What You Will Do
You will work across disciplinary boundaries, applying advanced techniques in control theory and formal verification with an emphasis on probabilistic reasoning and data-driven approaches. The project involves creating new methodologies that ensure safe and reliable operation of autonomous and cyber-physical systems.
Expected Outcomes
The research is expected to yield robust frameworks and tools that can provide guarantees for safety and reliability in autonomous systems. Outcomes will contribute to building public trust and facilitating the adoption of autonomous technologies in vital sectors such as transportation, healthcare, and industry.
Why This Matters
With the rising deployment of automation and AI in critical applications, ensuring these systems' dependability is crucial. This research underpins the foundations for trustworthy autonomous systems and addresses societal needs for safety, reliability, and ethical AI operation.