PhD Sicherheitsverträge für Physische KI (w/m/div.)

Die Konzeption und Entwicklung innovativer Sicherheitsverträge wird Ihr zentraler Schwerpunkt sein. Sie etablieren formale Laufzeitschnittstellen, um eine sichere Interaktion zwischen Entscheidungsfindung und Regelung in autonomen Systemen zu gewährleisten. Sie definieren präzise Annahmen, Garantien und Adaptionsregeln für modulare Autonomie-Stacks, um die Systemintegrität über verschiedene Abstraktionsebenen hinweg abzusichern. Darüber hinaus nutzen Sie fortgeschrittene Methoden der optimalen Regelung, der sequentiellen Entscheidungsfindung unter Unsicherheit sowie des Reinforcement Learning, um robuste und leistungsfähige Lösungen zu entwickeln. Mithilfe von Machine Learning leiten Sie Machbarkeitsmargen, Unsicherheiten und die Sicherheitsverträge selbst aus Realweltdaten ab. Ein wesentliches Ziel ist die Überführung von Forschungsergebnissen in konkrete Anwendungen – insbesondere im Bereich der Fahrzeugbewegungsregelung und des autonomen Fahrens –, um die Lücke zwischen hochrangigen Entscheidungen und der physikalischen Realität sicher zu schließen. Nicht zuletzt leisten Sie einen maßgeblichen Beitrag dazu, lernbasierte Autonomie von Grund auf modular zu gestalten, Sicherheit durch Konstruktion zu gewährleisten und die Verifikation zur Laufzeit zu ermöglichen.

• Ausbildung: Sie verfügen über einen ausgezeichneten Masterabschluss (oder einen gleichwertigen Abschluss) in Regelungstechnik, Robotik, Informatik oder einem verwandten Fachgebiet.
• Erfahrung und Kenntnisse: Sie bringen fundierte Kenntnisse in Optimierung oder Regelungstechnik sowie sehr gute Programmierkenntnisse in Python mit.
• Persönlichkeit und Arbeitsweise: Sie begeistern sich für technische Herausforderungen, entwickeln gerne Lösungen in interdisziplinären und vielfältigen Teams und setzen diese bis zum Funktionsmodell um. Sie sind bereit, Initiative zu ergreifen und Verantwortung zu übernehmen. Zudem gehen Sie Aufgaben systematisch und methodisch an, mit konsequentem Fokus auf Lösungsfindung und dem Anspruch, qualitativ hochwertige Ergebnisse zu liefern.
• Sprachen: Sehr gute Englischkenntnisse; Deutschkenntnisse sind von Vorteil.