Informatiker/in (w/m/d) - KI Methoden in der Software Qualitätssicherung für die Raumfahrt

German Aerospace Center (DLR); Oberpfaffenhofen; Vor Ort; EUR 60.000 - 90.000; Vollzeit

Zusammenfassung

DLR-Institut für Softwaretechnologie in Bayern sucht eine/n Forscher/in, der KI-Methoden für die Software-Qualitätssicherung in der Raumfahrt entwickelt und evaluiert. Die Tätigkeit umfasst die Implementierung in Missionssystemen und die wissenschaftliche Vertiefung mit Promotionsziel.

Sie arbeiten an sicherheitskritischen Embedded-Systemen, planen gemäß ECSS-Standards, publizieren Ergebnisse und arbeiten in einem internationalen Umfeld mit. Standort ist Oberpfaffenhofen.

Qualifikationen

• Abgeschlossenes Hochschulstudium (Master/Diplom) in Informatik oder Ingenieurwissenschaften oder vergleichbar.
• Erfahrung im Software-Engineering und in der Qualitätssicherung sicherheitskritischer Systeme.
• Erfahrung mit C/C++, Python oder Rust sowie eingebetteter Software in Raumfahrtprojekten.

Aufgaben

• Erforschung, Konzeption und Entwicklung von KI-Methoden für Software-Qualitätssicherung in der Raumfahrt.
• Evaluation der KI-Methoden hinsichtlich Effizienz und Effektivität.
• Implementation der KI-Methoden in laufenden Raumfahrtmissionen.
• Wissenschaftliche Vertiefung mit dem Ziel einer Promotion im Bereich KI in der Software-QS.
• Verantwortung für Software-Qualitätssicherung in Missionen gemäß ECSS-Standards.
• Erstellung von Planungsunterlagen wie Software-PA-Plan, CM-Plan, Milestone-Report.
• Veröffentlichung der Forschungsergebnisse in Fachzeitschriften und Konferenzen.

Kenntnisse

KI Methoden

Software-Engineering

Qualitätssicherung

Englisch fließend

Ausbildung

Master / Diplom Informatik oder Ingenieurwissenschaften

Tools

C/C++

Python

Rust

Jobbeschreibung

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.

Deine Aufgaben

• Erforschung, Konzeption und Entwicklung von innovativer KI Methoden für die Software Qualitäts‑ und Produktsicherung in der Raumfahrt
• Evaluation der gewählten und entwickelten KI Methoden bezüglich ihrer Effizienz und Effektivität im Vergleich zu herkömmlichen Prozessen bzw. Methoden
• Implementation der gewählten KI Methoden in laufenden Raumfahrtmissionen
• wissenschaftliche Vertiefung mit dem Ziel einer Promotion im Bereich KI Methoden in der Software Qualitätssicherung
• verantwortlich für Software‑Qualitätssicherung in nationalen und internationalen Raumfahrt‑Missionen (gemäß geforderter Standards wie z.B. ECSS)
• Erstellung von Planungsunterlagen zur Software‑Qualitätssicherung (z.B. Software PA Plan, Software Configuration Management Plan, Software PA Milestone Report usw.)
• Veröffentlichung der Forschungsergebnisse in Fachzeitschriften sowie auf Konferenzen

Das bringst du mit

• Du hast ein abgeschlossenes wissenschaftliches Hochschulstudium (Master / Diplom Uni) der Informatik oder der Ingenieurwissenschaften (z.B. Technische Informatik, Luft‑und Raumfahrttechnik) oder andere für die Tätigkeit relevanten Studiengänge.
• Du bringst Erfahrung im Software‑Engineering und der Qualitätssicherung von Software für sicherheitskritische Systeme mit.
• Du hast Erfahrung in der Software‑Entwicklung mit C/C++ oder Python oder Rust.
• Du sprichst und schreibst fließend Englisch.
• Du hast Erfahrungen mit dem gesamten Entwicklungszyklus von missionskritischen eingebetteten Softwareanwendungen an Bord (d. h. Anforderungen, Entwurf, Implementierung, Tests, Qualifizierung).
• Du verfügst über praktische Erfahrung in der Anwendung von Raumfahrt‑Qualitätssicherungsstandards (z. B. ECSS‑E40/Q80 oder DO‑178).