Sie möchten daran arbeiten, dass Mensch und Roboter künftig sicher und zuverlässig im Team zusammenarbeiten? In diesem Forschungsprojekt verbinden Sie formale Sicherheitsmechanismen mit multimodalen Large-Language-Modellen auf eingebetteten Systemen. Ziel ist es, autonome Robotersysteme so zu entwickeln, dass sie auch bei komplexen Aufgaben – etwa in der großskaligen Montage – intelligent agieren, ihre Umgebung verstehen und gleichzeitig höchste Sicherheitsanforderungen erfüllen.

Das Machen Sie Möglich

Sie ermöglichen den sicheren Betrieb von Robotern, die auf der Basis von Vision-Language-Action-Modellen (VLA) im Team mit einem Menschen autonom Aufgaben planen und ausführen. Dazu erforschen Sie konkret, wie man den Output der VLA-Modelle für formale Sicherheitsmechnismen auf Basis von Kontrakten zugänglich macht (Neuro-Symbolisches Reasoning) und wie diese Mechanismen für Feedback und Training des VLA-Modells genutzt werden können. Bei der Ausführung der Aktionen erforschen Sie einen Fallback-Mechanismus,



der im Falle einer Beeinträchtigung der KI-Funktionen dennoch ein minimal akzeptables Roboterverhalten gewährleistet. Das Forschungsprojekt wird in enger internationaler Zusammenarbeit mit Partnern in Taiwan durchgeführt. Im Rahmen dieser Kooperation arbeiten Sie auch vor Ort mit den Projektpartnern zusammen. Hierfür sind während der Projektlaufzeit mehrfach Forschungsaufenthalte in Taiwan von jeweils etwa ein bis zwei Monaten vorgesehen.

Das Bringen Sie Mit

• Master-Abschluss Informatik oder vergleichbar
• Erfahrungen mit der Programmierung von leistungsfähigen eingebetteten Systemen, idealerweise inkl. Beschleuniger (GPU/NPU)
• Grundkenntnisse von formalen oder semi-formalen Methoden (z.B. Model-Checking)
• Kenntnisse im Bereich Scheduling und Echtzeitsysteme
• Bereitschaft zu mehrwöchigen Forschungsaufenthalten in Taiwan im Rahmen der internationalen Projektzusammenarbeit

Das Bieten Wir Ihnen

• Freuen Sie sich auf ein menschlich angenehmes und fachlich in

📌 Wissenschaftl. Mitarbeitende*r (Sri Ganganagar)
🏢 OFFIS - Institute for Information Technology
📍 Sri Ganganagar