Bachelorthesis LLM-based Generation and Verification of Libraries for the Key Management Interoperability Protocol (KMIP) 2.0 (d/m/f/x)

Apply now!
We are Mercedes-Benz Tech Innovation - but we don't build cars: We define the future with technology.
As the largest tech company of Mercedes-Benz Group AG, around 2,500 employees in Ulm, the Stuttgart area, Berlin and Karlsruhe as well as in international tech hubs work on the technology trends of tomorrow's mobility.    
We are united by our enthusiasm for innovation and the latest technologies - combined with the conviction that individual freedom and personal responsibility are crucial for real progress. We are #techinnovators.    
Learn more about us Mercedes-Benz Tech Innovation GmbH

Your tasks?

• As a bachelor's student (d/m/f/x), you will deal intensively with the specification of the Key Management Interoperability Protocol (KMIP) 2.0 in order to create a solid foundation for library generation.

• Building on this, you will design and implement an innovative Spec-Kit-Driven approach that uses Large Language Models (LLMs) for the automatic generation of libraries.

• An important step is then the careful verification of the generated libraries, which you will perform against the specification and relevant standards.

• You will also investigate the extent to which this approach can be transferred to different programming languages to prove its versatility.

• At the same time, you will evaluate suitable verification and testing methods to ensure the correctness and reliability of the libraries developed.

• In addition, you will consider the broader applicability of your approach with regard to other specifications and RFCs that map key industry standards.

Your profile?

• Unlock your chance: Send us your complete application (including certificate of enrolment, transcript of records, residence permit/work permit if applicable) and become part of our team!

• You are an enrolled student (d/m/f/x) in a subject area such as computer science, software engineering or mathematics and have a great interest in generative AI as well as LLM-based software development.

• Ideally, you already have basic knowledge of software development, preferably with Java or Typescript.

• You are also interested in technical specifications, protocols and structured verification approaches, which you would like to explore in more detail.

• You are characterized by an analytical, independent and structured way of working.

• Your profile will be rounded off by good German and English skills.

Flexible working hours

To ensure that there is still enough free time in addition to studying and working, you will receive a pro rata 30 vacation days with us as well as the opportunity to plan your working hours flexibly. In coordination with your team and your contact person, you also have the opportunity to work remotely. In addition, almost all of our positions are suitable for part-time work.

Become a full-fledged member of the team

You accompany innovative projects at the cutting edge and take on responsible tasks, so you are a full-fledged member of our team right from the start! Of course, you benefit from an attractive salary.

Our culture

At Mercedes-Benz Tech Innovation, we are a team! Our cooperation is based on mutual trust and respect. Flat hierarchies, an appreciative atmosphere, openness and open-mindedness are part of our daily work. In order for your start with us to succeed, you will receive an individual onboarding and a direct contact person.

A Great Place to Work

Awards say more than words - Mercedes-Benz Tech Innovation has already received the "Great Place to Work - Best Employers" award several times. Maybe we will soon be your Great Place to Work!