PhD - Sicherheitsvertrage fur Physische KI (w/m/div.)
Unternehmensbeschreibung
Stellenbeschreibung
Die Konzeption und Entwicklung innovativer Sicherheitsvertrage wird Ihr zentraler Schwerpunkt sein. Sie etablieren formale Laufzeitschnittstellen, um eine sichere Interaktion zwischen Entscheidungsfindung und Regelung in autonomen Systemen zu gewahrleisten. Sie definieren prazise Annahmen, Garantien und Adaptionsregeln fur modulare Autonomie-Stacks, um die Systemintegritat uber verschiedene Abstraktionsebenen hinweg abzusichern. Daruber hinaus nutzen Sie fortgeschrittene Methoden der optimalen Regelung, der sequentiellen Entscheidungsfindung unter Unsicherheit sowie des Reinforcement Learning, um robuste und leistungsfahige Losungen zu entwickeln. Mithilfe von Machine Learning leiten Sie Machbarkeitsmargen, Unsicherheiten und die Sicherheitsvertrage selbst aus Realweltdaten ab. Ein wesentliches Ziel ist die Uberfuhrung von Forschungsergebnissen in konkrete Anwendungen - insbesondere im Bereich der Fahrzeugbewegungsregelung und des autonomen Fahrens -, um die Lucke zwischen hochrangigen Entscheidungen und der physikalischen Realitat sicher zu schlieen. Nicht zuletzt leisten Sie einen mageblichen Beitrag dazu, lernbasierte Autonomie von Grund auf modular zu gestalten, Sicherheit durch Konstruktion zu gewahrleisten und die Verifikation zur Laufzeit zu ermoglichen.
Qualifikationen
- Ausbildung: Sie verfugen uber 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.
- Personlichkeit und Arbeitsweise: Sie begeistern sich fur technische Herausforderungen, entwickeln gerne Losungen in interdisziplinaren und vielfaltigen Teams und setzen diese bis zum Funktionsmodell um. Sie sind bereit, Initiative zu ergreifen und Verantwortung zu ubernehmen. Zudem gehen Sie Aufgaben systematisch und methodisch an, mit konsequentem Fokus auf Losungsfindung und dem Anspruch, qualitativ hochwertige Ergebnisse zu liefern.
- Sprachen: Sehr gute Englischkenntnisse; Deutschkenntnisse sind von Vorteil.