Wissenschaftl. Mitarbeitende*r (w/m/d) – Sichere KI für Robotik
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 interessantes Arbeitsumfeld
- Wir unterstützen Sie aktiv bei Ihrer beruflichen Weiterqualifikation
- Vereinbarkeit von Beruf und Familie sind uns wichtig – dies unterstützen wir u.a. mit flexiblen Arbeitszeiten und Homeoffice
- Toleranz, Offenheit und Chancengleichheit gegenüber Personen aller Geschlechter (m/w/d) sind uns wichtig
- Unseren seit Jahren steigenden Frauenanteil möchten wir gerne weiterhin wachsen lassen
- Bewerbungen schwerbehinderter Menschen bevorzugen wir bei fachlicher Eignung
- Ihre Stelle ist befristet auf zwei Jahre und wird nach TV-L Gruppe E13 vergütet
