Dein persönlicher KI-Karriere-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.
Anforderungen
- 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
Aufgaben
- 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
Ausbildung
- Laufendes Studium
Sprachen
- Deutsch – fortgeschritten
- Englisch – fortgeschritten
Tools & Technologien
- Java
- Typescript
Benefits
Flexibles Arbeiten
- Flexible working hours
- Flexible work hour planning
- Remote work opportunity
Mehr Urlaubstage
- Pro rata 30 vacation days
Sonstige Vorteile
- Suitable for part-time work
- Full team member
Abwechslungsreiche Aufgaben
- Innovative projects
Sinnstiftende Arbeit
- Responsible tasks
Mentoring & Coaching
- Individual onboarding
Lockere Unternehmenskultur
- Direct contact person
- Great Place to Work award
- Home
- Jobs in Deutschland
- Stuttgart
- Bachelorthesis LLM-based Generation and Verification of Libraries for the Key Management Interoperability Protocol (KMIP) 2.0Bachelorthesis LLM-based Generation and Verification of L...
Noch nicht perfekt?
- ExxetaVollzeitWerkstudentmit HomeofficeStuttgart
- Mercedes-Benz Tech Innovation
Intern / Working Student Frontend Development(m/w/x)
Vollzeit/TeilzeitPraktikummit HomeofficeStuttgart - 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)
VollzeitWerkstudentmit HomeofficeDitzingen - Exxeta
Thesis (Bachelor/Master) DevOps(m/w/x)
VollzeitPraktikummit HomeofficeKarlsruhe, Mannheim, Stuttgart, Essen - Mercedes-Benz Tech Innovation
Intern Software Development Backend(m/w/x)
Vollzeit/TeilzeitPraktikummit HomeofficeStuttgart
- Home
- Jobs in Deutschland
- Stuttgart
- 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.
Anforderungen
- 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
Aufgaben
- 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
Ausbildung
- Laufendes Studium
Sprachen
- Deutsch – fortgeschritten
- Englisch – fortgeschritten
Tools & Technologien
- Java
- Typescript
Benefits
Flexibles Arbeiten
- Flexible working hours
- Flexible work hour planning
- Remote work opportunity
Mehr Urlaubstage
- Pro rata 30 vacation days
Sonstige Vorteile
- Suitable for part-time work
- Full team member
Abwechslungsreiche Aufgaben
- Innovative projects
Sinnstiftende Arbeit
- Responsible tasks
Mentoring & Coaching
- Individual onboarding
Lockere Unternehmenskultur
- Direct contact person
- Great Place to Work award
Über das Unternehmen
Mercedes-Benz Tech Innovation
Branche
IT
Beschreibung
The company develops technological innovations, digital products and future-oriented software solutions for car connectivity.
Noch nicht perfekt?
- Exxeta
Werkstudent / Thesis (Bachelor, Master) Graphenanalyse(m/w/x)
VollzeitWerkstudentmit HomeofficeStuttgart - Mercedes-Benz Tech Innovation
Intern / Working Student Frontend Development(m/w/x)
Vollzeit/TeilzeitPraktikummit HomeofficeStuttgart - 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)
VollzeitWerkstudentmit HomeofficeDitzingen - Exxeta
Thesis (Bachelor/Master) DevOps(m/w/x)
VollzeitPraktikummit HomeofficeKarlsruhe, Mannheim, Stuttgart, Essen - Mercedes-Benz Tech Innovation
Intern Software Development Backend(m/w/x)
Vollzeit/TeilzeitPraktikummit HomeofficeStuttgart