Internship/Master thesis (f/m/x): Automatization of flight software quality checks using AI

Deutsches Zentrum für Luft- und Raumfahrt; Bremen; Sur place; EUR 13 000 - 20 000; Temps partiel

Résumé du poste

The Institute of Space Systems at the Deutsches Zentrum für Luft- und Raumfahrt in Bremen invites applications for an Internship/Master thesis to automate flight software quality checks using AI. You will help build, verify, and integrate an AI-powered framework for GNC software quality checks.

Targeting Master’s students or Bachelor’s graduates in CS/CE, with Python/unittest experience and familiarity with Ollama and Llama.cpp, plus strong prompt engineering and export control compliance.

Qualifications

• Currently pursuing a Master’s degree or holding a Bachelor’s degree in Computer Science or Computer Engineering.
• Proficient in Python and unittest.
• Experience with Ollama and Llama.cpp or equivalent.
• Strong prompt engineering skills.
• Knowledge of export controls under German/EU/US law.

Responsabilités

• Understand quality checks in FSW development process.
• Create prompts to perform required quality checks.
• Develop verification datasets for quality checks.
• Integrate checks into the AI-powered framework and verify reliability.
• Assist integration of checks into FSW development.

Description du poste

Internship/Master thesis (f/m/x): Automatization of flight software quality checks using AI

Job Description

Req ID: 6546

Place of work: Bremen

Starting date: 01.12.2026

Career level: Internship, Student employment

Type of employment: Full-time, Part time

Duration of contract: 6 Monate

Remuneration:

Remuneration is in accordance with the Collective Agreement for the Public Sector - Federal Government (TVöD-Bund).

Enter the fascinating world of the German Aerospace Center (Deutsches Zentrum für Luft- und Raumfahrt e. V.; DLR) and help shape the future through research and innovation! We offer an exciting and inspiring working environment driven by the expertise and curiosity of our 12,000 employees from 100 nations and our unique infrastructure. Together, we develop sustainable technologies and thus contribute to finding solutions to global challenges. Would you like to join us in addressing this major future challenge? Then this is your place!

The Institute of Space Systems in Bremen is dedicated to designing and analyzing future spacecraft and space missions, including launchers, orbital and exploration systems, and satellites. Our evaluations focus on the technical feasibility, performance and costs of these systems, utilizing a range of cutting-edge, multi-disciplinary engineering methods.

What to expect

The development of flight-worthy software for GNC systems requires not only good testing strategies but a systematic software engineering process which involves careful requirements flow down, documentation maintenance, reviews, traceability maintenance, and checks in all these steps. In the context of the Flight Software (FSW) development in the GNC department of DLR, many of these checks and actions are currently performed by the developers, given that most of these checks do not have clear deterministic solutions, but require knowledge of the context or at least text interpretation. This adds complexity and time to the process since much time has to be devoted for product assurance instead of creating code. The human in the loop also makes the process susceptible to errors, since there is a big complexity to be managed.

In order to automate these checks and consequently reduce the development time, keep code quality and reduce errors, the GNC department in Bremen developed an AI-powered framework that systematize the creation, verification and execution of code quality checks. This framework now needs now to be carefully expanded and verified to finally be used in the development of high-quality aerospace software that will be part of many exciting missions!

Your tasks

• Understanding the quality checks performed in the FSW Development process
• Creation of prompts that reliably perform the quality checks required by the department
• Creation of verification datasets for the different quality checks
• Integration of these into the AI-powered framework and reliability verification
• Integration of the checks to the FSW development

Your profile

• Currently studying for a Master's degree and holding a Bachelor's degree in Computer Science or Computer Engineering
• Experience with Python and unittest
• Experience with Ollama and Llamma.cpp, or equivalent
• Prompt engineering
• Conformance with the personal requirements for handling of export controlled goods and information according to German, European and American export control law

We offer

DLR stands for diversity, appreciation and equality for all people. We promote independent work and the individual development of our employees both personally and professionally. To this end, we offer numerous training and development opportunities. Equal opportunities are of particular importance to us, which is why we want to increase the proportion of women in science and management in particular. Applicants with severe disabilities will be given preference if they are qualified.

We look forward to getting to know you!

If you have any questions about this position (Vacancy-ID 6546) please contact:

Hans Krüger
Tel.: [phone]