Postdoc position (m,f,x) for three years on Hyperproperties for Partially Observable Systems under U

Rahmenbedingungen

Für eine befristete Vollzeitstelle (39,83 Stunden/Woche = 100 %) ab dem 01.01.2027 suchen wir eine*n Postdoc (m,w,d) für drei Jahre im Bereich Hyperproperties für partiell beobachtbare Systeme unter Unsicherheit (TV-L E14, 39,83 Stunden pro Woche).

Der Lehrstuhl für Künstliche Intelligenz und Formale Methoden an der Ruhr-Universität Bochum in Deutschland (geleitet von unsere Ansprechperson) betreibt breite grundlagen- und anwendungsgetriebene Forschung zur Entscheidungsfindung unter Unsicherheit.

Wir suchen einen hochmotivierten Postdoktorand*in, um formale Methoden zur Spezifikation und Verifikation von Hyperproperties partiell beobachtbarer Systeme unter Unsicherheit zu entwickeln. Das Projekt kombiniert Techniken aus formaler Verifikation, probabilistischem Model Checking, quantitativer Argumentation und Strategie-Synthese zur Analyse von Systemen, deren Verhalten von unvollständigen Informationen und stochastischen Umgebungen abhängt. Die Forschung wird durch den wachsenden Bedarf an der Gewährleistung von Sicherheit in autonomen, cyber-physischen und KI-gestützten Systemen motiviert. Hyperproperties bieten einen leistungsstarken Rahmen für die Ausdrückung von Anforderungen wie Informationsfluss-Sicherheit, Datenschutz und Konsistenz über mehrere Ausführungen hinweg, während partielle Beobachtbarkeit und Unsicherheit die Herausforderungen realer Entscheidungsfindungssysteme widerspiegeln. Das Projekt zielt darauf ab, Verifikations- und Synthese-Techniken für vertrauenswürdige Systeme mit rigorosen Korrektheitsgarantien voranzutreiben.

Umfang: Vollzeit
Dauer: Befristet, 3 Jahre
Beginn: 01.01.2027
Bewerbung bis: 2026-10-05

Aufgaben

• Die Hauptaufgabe dieser Stelle ist die Durchführung von Forschung in den oben genannten Forschungsbereichen.
• Unterstützung des Lehrprogramms des Lehrstuhls in Form von Übungsleitung und Organisation von Seminaren und Vorlesungen.
• Aufbau und Weiterentwicklung einer eigenständigen Forschungslinie für die unabhängige wissenschaftliche Untersuchung von Themen und die Etablierung einer eigenständigen Forschungsperspektive.

Profil

Ihr Profil:

• Master-Abschluss und Promotion in Informatik oder Mathematik.
• Ausgezeichnete zwischenmenschliche und kommunikative Fähigkeiten in Englisch.
• Hintergrund in einem oder mehreren der folgenden Bereiche:
• Formale Verifikation und probabilistisches Model Checking
• MDPs, stochastische Spiele und Strategie-Synthese
• Hyperproperties und Informationsfluss-Verifikation
• Quantitative Argumentation und unsicherheitsbewusste Verifikation