Praktikum/Masterarbeit (w/m/d): Automatisierung der Qualitätskontrolle von Flugsoftware durch KI

German Aerospace Center (DLR); Bremen; On-site; EUR 20,000 - 29,000; Full time

Job summary

Das Institut für Raumfahrtsysteme in Bremen des Deutschen Zentrums für Luft- und Raumfahrt (DLR) sucht Unterstützung im Bereich der Software-Qualitätssicherung für Flugsoftware (FSW). Sie arbeiten an der Entwicklung von Eingabeaufforderungen, Verifizierungsdatensätzen und der Integration in ein KI-Framework, um Fehleranfälligkeiten zu verringern und die Rückverfolgbarkeit zu verbessern.

Erforderlich sind fortgeschrittene Studien (Master) in Informatik/Technischer Informatik, fundierte

Qualifications

• Laufendes Masterstudium in Informatik oder Technischer Informatik.
• Bachelor-Abschluss in Informatik oder Technischer Informatik.
• Erfahrung mit Python und unittest.

Responsibilities

• Verständnis der Qualitätsprüfungen im FSW-Entwicklungsprozess.
• Erstellung von Eingabeaufforderungen zur zuverlässigen Durchführung der Qualitätsprüfungen.
• Erstellung von Verifizierungsdatensätzen für verschiedene Prüfungen.
• Integration der Datensätze in das KI-gestützte Framework und Prüfung der Zuverlässigkeit.

Skills

Python

unittest

Prompt-Engineering

Education

Master in Informatik oder Technische Informatik

Bachelor in Informatik oder Technische Informatik

Tools

Ollama

Llama.cpp

Job description

Das Institut für Raumfahrtsysteme in Bremen analysiert und bewertet komplexe Systeme der Raumfahrt hinsichtlich technischer, wirtschaftlicher und gesellschaftlicher Relevanz. Wir entwickeln raumfahrtgestützte Anwendungen für den wissenschaftlichen, kommerziellen sowie sicherheitsrelevanten Bedarf und setzen diese in Kooperationen mit anderen DLR-Instituten, Forschungseinrichtungen und der Industrie um.

Das erwartet dich

Die Entwicklung flugtauglicher Software für GNC-Systeme erfordert nicht nur gute Teststrategien, sondern auch einen systematischen Software-Engineering-Prozess, der eine sorgfältige Weitergabe der Anforderungen, die Pflege der Dokumentation, Überprüfungen, die Aufrechterhaltung der Rückverfolgbarkeit sowie Kontrollen in all diesen Schritten umfasst. Im Rahmen der Entwicklung von Flugsoftware (FSW) in der GNC-Abteilung des DLR werden viele dieser Prüfungen und Maßnahmen derzeit von den Entwicklern selbst durchgeführt, da es für die meisten dieser Prüfungen keine eindeutigen, deterministischen Lösungen gibt, sondern Kenntnisse des Kontexts oder zumindest die Interpretation von Texten erforderlich sind. Dies erhöht die Komplexität und den Zeitaufwand des Prozesses, da viel Zeit für die Produktsicherung aufgewendet werden muss, anstatt Codes zu erstellen. Die Einbindung des Menschen in den Prozess macht diesen zudem anfällig für Fehler, da eine hohe Komplexität bewältigt werden muss.

Deine Aufgaben

• Verständnis der im FSW-Entwicklungsprozess durchgeführten Qualitätsprüfungen
• Erstellung von Eingabeaufforderungen, die die von der Abteilung geforderten Qualitätsprüfungen zuverlässig durchführen
• Erstellung von Verifizierungsdatensätzen für die verschiedenen Qualitätsprüfungen
• Integration dieser Datensätze in das KI-gestützte Framework und Überprüfung der Zuverlässigkeit
• Integration der Prüfungen in die FSW-Entwicklung

Das bringst du mit

• Laufendes Masterstudium sowie Bachelor-Abschluss in Informatik oder Technischer Informatik
• Erfahrung mit Python und unittest
• Erfahrung mit Ollama und Llamma.cpp oder vergleichbaren Tools
• Prompt-Engineering
• Konformität der persönlichen Anforderungen für den Umgang mit exportkontrollierten Gütern und Informationen gemäß den deutschen, europäischen und amerikanischen Exportkontrollgesetzen

Wir freuen uns darauf, dich kennenzulernen!

Fragen Zu Dieser Position (Kennziffer 6546) Beantwortet Dir Gerne

Hans Krüger

Tel.: [phone]