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
Education
Regions
Countries
States
Related jobs
-
A/B | A/B Testing | Agent Frameworks | Android Automotive | Android Automotive OSMid-level Full TimeHybrid, Budapest, Hungary, Karlsruhe, Germany R3d ago
-
Staff Software Engineer, Data Lakes EUR 72K-96KAWS | Azure | Containerization | Delta Lake | Distributed SystemsCell phone stipend | Employer paid medical insurance | Free food | Holidays | Mental health support platformSenior-level Full TimeRemote, Germany, EMEA R6d ago
-
Deep learning | Langchain | Language Models | Large Language Models | MLOpsPart-time availability | Project based workMid-level FreelanceGermany - Remote R8d ago
-
Senior Banking and Brokerage API Developer - Berlin EUR 80K-100KAPI Development | Architectural Design | Docker | Google Cloud | Integration TestingFlexible working hours | Fully remote or hybrid | Modern Apple Hardware | Paid leave | Urban sports club membershipSenior-level Full TimeBerlin, Germany R12d ago
-
Head of AI EUR 60K-80KAI Agents | API Design | Automation | Backend system architecture | Data PipelinesCompany events | Employee vouchers | Flexible working hours | Health counseling | Home-office equipmentExecutive-level Full TimeAugsburg R14d ago
-
Senior Software Engineer (Backend) EUR 49K-70KAgile | Apache Kafka | Code Analysis | Dependency-Check | Distributed SystemsSenior-level Full TimeFrankfurt am Main, Germany (Hybrid) R14d ago
-
Data Processing | Email Verification | Fine Tuning | Language Models | Language ProcessingFlexible work hours | Flexible work location | MentorshipEntry-level Full TimeAugsburg, Hybrid (innerhalb Deutschland) R17d ago
-
Autonomous Systems | Deep learning | Language Models | Language Processing | Large Language ModelsCompetitive salaries | Inclusive culture | Remote workSenior-level Full TimeGermany, REMOTE, Germany R26d ago
-
Agent systems | Autonomous Systems | Chatbots | Data Pipelines | Deep learningCollaborative environment | Inclusive culture | Meaningful projects | Professional growth | Remote workSenior-level Full TimeGermany, REMOTE, Germany R28d ago
-
Senior AI Engineer – LLMs & Agents EUR 65K-80KAgent architectures | Deep learning | Evaluation Frameworks | Language Models | Large Language ModelsFlexible hours | Modern equipment | Remote work | Team events | WorkationsSenior-level Full TimeBerlin/Remote R1mo ago
-
Staff Software Engineer - RUM Platform EUR 100K-129KBackend Development | Cross-team | Cross-team Collaboration | Data Pipelines | Distributed SystemsGlobal benefits | Inclusive culture | Mentorship programs | Professional development | Stock equitySenior-level Full TimeFrance, Remote; Germany, Remote; Ireland, Remote; … R1mo ago