Das DLR-Institut für Softwaretechnologie versteht Software als Katalysator für Forschung und technische Fortschritte. Mit der Entwicklung hochmoderner Softwarelösungen und innovativer Forschung leisten die derzeit rund 200 Mitarbeitenden des Instituts einen wesentlichen Beitrag zu den Fortschritten in den Bereichen Luftfahrt, Raumfahrt, Energie, Verkehr und Sicherheit. Zu unseren Kompetenzfeldern zählen zuverlässige und sicherheitskritische Softwaresysteme, Künstliche Intelligenz, High-Performance Computing und Quantum Computing, Mensch-System-Interaktion und Visualisierung, Software- und Systems Engineering sowie Digitale Plattformen und Digitale Zwillinge.
Das erwartet dich
In der Abteilung für Flugsoftware forschen und entwickeln wir zuverlässige und resiliente (Echtzeit-)Software für Luft- und Raumfahrzeuge. Mit unserer Expertise in diesem Bereich unterstützen wir derzeit etwa 20 Raumfahrtmissionen mit Software-Engineering und Software-Qualitätssicherung.
Moderne Raumfahrtsysteme setzen zunehmend auf sub-symbolische KI, was jedoch Risiken wie fehlende Nachvollziehbarkeit und unvorhergesehene Nebenwirkungen birgt. Um Fehlinterpretationen und unzuverlässiges Verhalten zu vermeiden, wurde Neuro-Symbolic KI entwickelt. Dieses Konzept vereint die Lernfähigkeiten sub-symbolischer Verfahren mit der Sicherheit symbolischer, regelbasierter Systeme. Dadurch sollen nachvollziehbare und robuste Entscheidungen ermöglicht werden. Ziel der Masterarbeit ist die Entwicklung und Prüfung eines Frameworks, das KI-Anwendungen auf Raumfahrzeugen sicher, robust und resilient macht.
Deine Aufgaben
- Recherche und Evaluation des State-of-the-art neuro-symbolic AI für eingebettete Systeme
- Konzeption und Design eines Neuro-Symbolic AI Frameworks
- prototypische Implementation des Frameworks auf der StellarApps Plattform
- Evalution des Neuro-symbolic AI Frameworks
Das bringst du mit
- immatrikuliert in einem Masterstudium der Informatik, der Angewandten Informatik, der Elektrotechnik oder einer vergleichbaren Fachrichtung
- Erfahrung mit der Softwareentwicklung für eingebettete Systeme in C, C++ oder Rust
- Erfahrungen im Bereich der Künstlichen Intelligenz und ihrer Anwendung
- Du kannst dich auf Englisch verständigen (die Supervision kann auf Englisch oder Deutsch erfolgen).
Wir freuen uns darauf, dich kennenzulernen!
Fragen zu dieser Position (Kennziffer 5928) beantwortet dir gerne:
Andreas Lund
Tel.: +49 531 295 2043