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

Tasks

• Assess applicability to other specifications and RFCs
• Evaluate verification and testing methods
• Generate libraries with LLMs
• Specify KMIP 20
• Transfer approach to different programming languages
• Verify generated libraries against specifications

Perks/Benefits

• Direct contact person
• Flexible working hours
• Individual onboarding
• Part-time work
• Pro rata vacation days
• Remote work

Skills/Tech-stack

Java | Language Models | Large Language Models | Software testing | TypeScript | Verification