PhD – Sicherheitsverträge für Physische KI (w/m/div.)
Core
Designing and developing novel safety contracts to ensure safe interaction between decision-making and control in autonomous systems, specifically for vehicle motion control and autonomous driving.
Role type
PhD researcher in safety-critical autonomous systems
Builds
Production-ready safety contracts and modular autonomy stacks for autonomous vehicles
Domain
Automotive / Autonomous Driving / Control Theory
Deliverable
production ML models | research
Required skills
optimal control, sequential decision making under uncertainty, reinforcement learning, machine learning, Python programming, formal runtime interfaces
Preferred skills
system identification, real-world data analysis, modular system design
Technologies
Python, Machine Learning frameworks, Control Theory libraries
Responsibilities
Define precise assumptions, guarantees, and adaptation rules for modular autonomy stacks; derive feasibility margins and safety contracts from real-world data; bridge the gap between high-level decisions and physical reality; enable runtime verification of safety contracts.
Seniority
PhD Candidate / Researcher
