Promotion – Sicherheitsverträge für Physische KI
Core
Designing and developing formal safety contracts and runtime verification for autonomous systems, specifically bridging high-level decision-making with physical reality in vehicle motion control and autonomous driving.
Role type
Research-level PhD candidate (control theory & safety contracts)
Builds
Robust, modular autonomy stacks for autonomous vehicles
Domain
Automotive / Autonomous Driving / Control Theory
Deliverable
production ML models
Required skills
Control theory, Optimization, Reinforcement Learning, Sequential decision-making under uncertainty, Python programming, Machine Learning
Preferred skills
Robotics, Real-world data analysis, Runtime verification
Technologies
Python, Machine Learning frameworks
Responsibilities
Define precise assumptions, guarantees, and adaptation rules for modular autonomy stacks; derive feasibility margins and safety contracts from real-world data; translate research results into concrete applications for vehicle motion control; enable runtime verification.