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

• 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.

• 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.