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

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, and given the lack of determinism in some of these checks, the use of AI Agents appears as a potential innovative solution which could revolutionize how we develop flight software in the GNC department.

Your tasks
* understanding the quality checks performed in the FSW Development process
* review of the solutions available in the market
* preparation of hardware infrastructure for running the agents
* preparation of software infrastructure for creating different agents
* creation of individual agents for different checks
* verification of the agents’ performance
* integration of the agents to the FSW development

Your profile
* degree in Computer Science or Computer Engineering
* minimal experience with LLMs: How to setup and use locally, tailoring of prompts for smaller LLMs
* hands-on experience setting up computer hardware
* conformance with the personal requirements for handling of export controlled goods and information according to German, European and American export control laws
We look forward to getting to know you!

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

Leonardo Borges Farçoni, M.Sc.

Tel.: +49 421-24420-1064