Promotion – Sicherheitsverträge für Physische KI

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.

Function: Research
Experience Level: Entry Level