Role summary
Tel.: +49 441 770507 400
Responsibilities
- Im Rahmen deiner angestrebten Promotion forschst, entwickelst und publizierst du zu vertauenswürdigen autonomen Systemen.
- Formale Spezifikation und Ontologien: Du entwickelst und erweiterst formale Beschreibungsformalismen und Ontologien für Betriebsbereiche, Interaktionsszenarien und Sicherheitsanforderungen vernetzter Systemverbünde im Mobilitätsbereich, beispielsweise automatisierter Fahrzeuge.
- Verhaltenslernen und Strategiesynthese: Du entwickelst modellbasierte Methoden, um aus Systembeobachtungen, auch bei KI-gestützten und intransparenten Komponenten, formal nutzbare Verhaltensmodelle abzuleiten und für die weitere Analyse und Synthese von Strategien nutzbar zu machen.
- Gefahrenanalyse und formale Verifikation: Du führst systematische Gefahrenanalysen, beispielsweise mit HAZOP, , FTA und STPA durch, identifizierst unsichere Situationen auf verschiedenen Ebenen des Systemverbunds und leitest daraus geeignete Sicherheitskonzepte ab.
- Software Engineering, Systems Engineering und KI-gestützte Entwicklung: Du setzt die entwickelten Methoden prototypisch in Forschungssoftware um und nutzt agentische KI-Systeme zur Unterstützung der Codegenerierung, des Refactorings und der Testautomatisierung.