Praktikum/Masterarbeit (w/m/d): Automatisierung der Qualitätskontrolle von Flugsoftware durch KI - Quality Assurance, Anwendungsentwicklung, Ingenieur

Das Institut f r Raumfahrtsysteme in Bremen analysiert und bewertet komplexe Systeme der Raumfahrt hinsichtlich technischer, wirtschaftlicher und gesellschaftlicher Relevanz. Nachfolgend finden Sie eine vollständige Aufschlüsselung aller Anforderungen an potenzielle Bewerber sowie eine Anleitung zur Bewerbung Viel Glück. 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. Um diese Pr fungen zu automatisieren und damit die Entwicklungszeit zu verk rzen, die Codequalit t zu sichern und Fehler zu reduzieren, hat die GNC-Abteilung in Bremen ein KI-gest tztes Framework entwickelt, das die Erstellung, Verifizierung und Durchf hrung von Codequalit tspr fungen systematisiert.

Dieses Framework muss nun sorgf ltig erweitert und verifiziert werden, um schlie lich bei der Entwicklung hochwertiger Luft- und Raumfahrtsoftware eingesetzt zu werden, die Teil vieler spannender Missionen sein wird!

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. xnbtkat 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.: