Your personal AI career agent
Bachelorthesis LLM-based Generation and Verification of Libraries for the Key Management Interoperability Protocol (KMIP) 2.0(m/w/x)
LLM-based generation and verification of libraries for KMIP 2.0. Basic software development knowledge, preferably Java or Typescript, required. Pro rata 30 vacation days, remote work opportunity.
Requirements
- Enrolled student in computer science, software engineering, or mathematics
- Interest in generative AI and LLM-based software development
- Basic knowledge of software development, preferably with Java or Typescript
- Interest in technical specifications, protocols, and structured verification approaches
- Analytical, independent, and structured way of working
- Good German and English skills
Tasks
- Study KMIP 2.0 specification
- Create foundation for library generation
- Design Spec-Kit-Driven approach
- Implement LLM-based library generation
- Verify generated libraries against standards
- Test libraries for correctness and reliability
- Evaluate transferability to different languages
- Assess broader applicability to other specifications
- Investigate suitable verification methods
Education
- Currently in higher education
Languages
- German – Advanced
- English – Advanced
Tools & Technologies
- Java
- Typescript
Benefits
Flexible Working
- Flexible working hours
- Flexible work hour planning
- Remote work opportunity
More Vacation Days
- Pro rata 30 vacation days
Other Benefits
- Suitable for part-time work
- Full team member
Diverse Work
- Innovative projects
Purpose-Driven Work
- Responsible tasks
Mentorship & Coaching
- Individual onboarding
Informal Culture
- Direct contact person
- Great Place to Work award
- Home
- Jobs in Germany
- Bachelorthesis LLM-based Generation and Verification of Libraries for the Key Management Interoperability Protocol (KMIP) 2.0Bachelorthesis LLM-based Generation and Verification of L...
Not a perfect match?
- Mercedes-Benz Tech InnovationFull-time/Part-timeInternshipWith HomeofficeStuttgart
- Exxeta
Werkstudent / Thesis (Bachelor, Master) Graphenanalyse(m/w/x)
Full-timeWorking StudentWith HomeofficeStuttgart - Exxeta
Thesis (Bachelor/Master) DevOps(m/w/x)
Full-timeInternshipWith HomeofficeKarlsruhe, Mannheim, Stuttgart, Essen - TRUMPF Werkzeugmaschinen SE + Co. KG
Abschlussarbeit Konzeption und Entwicklung eines Blackbox-Test-Harness für eine PLC-Bibliothek unter besonderer Berücksichtigung skriptbasierter Testmethoden (SS26)(m/w/x)
Full-timeWorking StudentWith HomeofficeDitzingen - TRUMPF Werkzeugmaschinen SE + Co. KG
Praktikum oder Abschlussarbeit Automatische Klassifikation und Task Assignment von Defects mit GenAI/Machine Learning(m/w/x)
Full-timeInternshipWith HomeofficeDitzingen
- Home
- Jobs in Germany
- Bachelorthesis LLM-based Generation and Verification of Libraries for the Key Management Interoperability Protocol (KMIP) 2.0Bachelorthesis LLM-based Generation and Verification of L...
Bachelorthesis LLM-based Generation and Verification of Libraries for the Key Management Interoperability Protocol (KMIP) 2.0(m/w/x)
LLM-based generation and verification of libraries for KMIP 2.0. Basic software development knowledge, preferably Java or Typescript, required. Pro rata 30 vacation days, remote work opportunity.
Requirements
- Enrolled student in computer science, software engineering, or mathematics
- Interest in generative AI and LLM-based software development
- Basic knowledge of software development, preferably with Java or Typescript
- Interest in technical specifications, protocols, and structured verification approaches
- Analytical, independent, and structured way of working
- Good German and English skills
Tasks
- Study KMIP 2.0 specification
- Create foundation for library generation
- Design Spec-Kit-Driven approach
- Implement LLM-based library generation
- Verify generated libraries against standards
- Test libraries for correctness and reliability
- Evaluate transferability to different languages
- Assess broader applicability to other specifications
- Investigate suitable verification methods
Education
- Currently in higher education
Languages
- German – Advanced
- English – Advanced
Tools & Technologies
- Java
- Typescript
Benefits
Flexible Working
- Flexible working hours
- Flexible work hour planning
- Remote work opportunity
More Vacation Days
- Pro rata 30 vacation days
Other Benefits
- Suitable for part-time work
- Full team member
Diverse Work
- Innovative projects
Purpose-Driven Work
- Responsible tasks
Mentorship & Coaching
- Individual onboarding
Informal Culture
- Direct contact person
- Great Place to Work award
About the Company
Mercedes-Benz Tech Innovation
Industry
IT
Description
The company develops technological innovations, digital products and future-oriented software solutions for car connectivity.
Not a perfect match?
- Mercedes-Benz Tech Innovation
Intern / Working Student Frontend Development(m/w/x)
Full-time/Part-timeInternshipWith HomeofficeStuttgart - Exxeta
Werkstudent / Thesis (Bachelor, Master) Graphenanalyse(m/w/x)
Full-timeWorking StudentWith HomeofficeStuttgart - Exxeta
Thesis (Bachelor/Master) DevOps(m/w/x)
Full-timeInternshipWith HomeofficeKarlsruhe, Mannheim, Stuttgart, Essen - TRUMPF Werkzeugmaschinen SE + Co. KG
Abschlussarbeit Konzeption und Entwicklung eines Blackbox-Test-Harness für eine PLC-Bibliothek unter besonderer Berücksichtigung skriptbasierter Testmethoden (SS26)(m/w/x)
Full-timeWorking StudentWith HomeofficeDitzingen - TRUMPF Werkzeugmaschinen SE + Co. KG
Praktikum oder Abschlussarbeit Automatische Klassifikation und Task Assignment von Defects mit GenAI/Machine Learning(m/w/x)
Full-timeInternshipWith HomeofficeDitzingen