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.
The boar re-runs this search every day and emails you what’s new — scraped straight from company career sites, no recruiter spam. Free.