Wissenschaftl. Mitarbeitende*r (w/m/d) – Sichere KI für Robotik

• Erforschung und Entwicklung verlässlicher KI-Systeme für autonome Roboter in der Mensch-Roboter-Kollaboration • Integration formaler Sicherheitskontrakte mit Vision-Language-Action-Modellen (VLA) mittels Neuro-Symbolischem Reasoning • Erarbeitung von Rückfall- und Sicherungsebenen zur Gewährleistung eines stabilen Mindestbetriebs bei Störungen der KI • Nutzung von Sicherheitsrückmeldungen zur Optimierung und Nachschulung der KI-Modelle • Regelmäßige Forschungsaufenthalte in Taiwan und Kooperation mit internationalen Projektpartnern

• Erfolgreich abgeschlossenes Masterstudium der Informatik oder einer verwandten Fachrichtung • Praktische Qualifikationen in der Softwareentwicklung für Embedded Systems (vorzugsweise unter Nutzung von Hardware-Beschleunigern wie GPUs oder NPUs) • Fundiertes Wissen im Bereich der Echtzeitsysteme sowie bei Scheduling-Verfahren • Grundlagenkenntnisse in formalen bzw. semi-formalen Verifikationsmethoden (etwa Model Checking) • Hohe Reisebereitschaft für mehrmonatige Auslandsaufenthalte bei Kooperationspartnern in Taiwan

Bereich: Produktion / Distributed Computing and Communication