Die Technische Hochschule Ingolstadt ist mit 8.600 Studierenden und 900 Mitarbeitenden die größte Wissenschafts- einrichtung der Region. In über 80 Studiengängen qualifizieren wir junge Menschen für den Arbeitsmarkt. In unserer Forschung sind wir bundesweit anerkannt.

• Erforschung und Entwicklung von Modellierungsrahmen für Multi-level SoS zur Beschreibung KI-basierter Systems-of-Systems
• Spezifizierung formaler Verträge (Annahmen, Garantien, Sicherheitsinvarianten) sowie Entwicklung von Verfeinerungs-, Kompositions- und Konsistenzbegriffen
• Entwicklung von Verfahren zur automatisierten Synthese von Monitoren aus Contracts sowie zu deren Verfeinerung und Bottom-up-Aggregation über die SoS-Hierarchie
• Erforschung von Strategiesynthese – etwa spieltheoretische oder neurosymbolische Ansätze – für Multi-Agenten-Systeme
• Entwicklung von argumentationsbasierte Entscheidungsverfahren
• Erweitern des Modellierungsrahmens um eine formale Risikospezifikation und Entwicklung von Verfahren zur dynamischen Bewertung und Aggregation von Risiken
• Entwicklung und Implementierung von prototypischer Methoden (Python/C++) sowie Integration dieser Methoden in die Simulationsumgebung des Projekts und in automatisierte Realfahrzeuge (ROS 2 / Autoware)
• Validation der Verfahren anhand der Anwendungsszenarien zur Verkehrskoordination und Evakuierungssteuerung
• Veröffentlichen der Ergebnisse auf international renommierten Konferenzen und in einschlägigen Journals

• Abgeschlossener Master in Informatik, Machine Learning, Software Engineering oder einer vergleichbaren Fachrichtung
• Sehr gute Programmierkenntnisse in Python und C++
• Verhandlungssichere Deutsch- und Englischkenntnisse in Wort und Schrift
• Wünschenswert: Kenntnisse in modellbasiertem Systems Engineering (z. B. SysML) und/oder formalen Methoden (Temporallogiken, SMT-Solver wie Z3, Model Checking und Erfahrung mit sicherheitskritischen Systemen, autonomem Fahren, ROS 2/Autoware oder Multi-Agenten-Systemen
• Interesse an einer Promotion sowie Freude an wissenschaftlicher Arbeit und Publikationstätigkeit
• Sehr gutes analytisches und konzeptionelles Denkvermögen, strukturierte, eigenverantwortliche Arbeitsweise sowie Teamfähigkeit und Bereitschaft zur engen Zusammenarbeit mit Industrie- und Forschungspartnern