Masterarbeit (w/m/d) - Neuro-symbolische KI für resi...

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).