Bachelorthesis LLM-based Generation and Verification of Libraries for the Key Management Interoperability Protocol (KMIP) 2.0 (d/m/f/x)
Stuttgart, Germany
R
EUR 36K-36K (estimate) Entry-level Full Time
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
-
Freelance Machine Learning Engineer USD 116K-116KLangchain | Language Models | Large Language Models | MLOps | Machine LearningFlexible project hours | Part-time availability | Project based workMid-level FreelanceGermany - Remote R3d ago
-
AI Engineer (LLM Products) - Remote EUR 52K-75KCost Optimization | Inference Optimization | Input validation | LLM Evaluation | Language ModelsCareer growth | Healthcare domain experience | Modern AI development workflow | Ownership | Remote workMid-level Full TimeGermany - Remote R3d ago
-
Lead Software Engineer (AI/ML) EUR 57K-85KAWS | Agent Orchestration | Autogen | CI/CD | Cloud platformCollaborative team events | Company hackathons | Dental care | Flexible working hours | German language courseSenior-level Full TimeBerlin, Germany R5d ago
-
AI Workflow Orchestration | AI workflow | API Design | Agentic Architectures | CI/CDEmployee stock options | Flexible scheduling | Fully remote | Health insurance | Home office setup allowanceMid-level Full TimeGermany R6d ago
-
Applied AI Engineer (f/m/x) EUR 65K-85KAPI Integration | AWS | Agent Orchestration | Anthropic API | CachingBi-weekly team lunches | Learning budget | Transport subsidy | Wellness and gym | WorkationSenior-level Full TimeHamburg R9d ago
-
Senior-level Full TimeFrance, Remote; Germany, Remote; Netherlands, Remote; … R9d ago
-
Senior Machine Learning Engineer EUR 52K-75KAWS | Agile | Amazon SageMaker | CI/CD | Cloud PlatformsCharity donation matching | Complimentary office snacks | Flexible working hours | Health and fitness subsidy | Hybrid work modelSenior-level Full TimeBerlin, BE, Germany R14d ago
-
AI Agents | CI/CD | Chatbots | ChromaDB | Fine TuningCompany bike via salary sacrifice | Company car | Company fitness | Corporate volunteering | Deutschlandticket subsidySenior-level Full Timebundesweit, Germany R14d ago
-
A/B | A/B Testing | Agent Frameworks | Android Automotive | Android Automotive OSMid-level Full TimeHybrid, Budapest, Hungary, Karlsruhe, Germany R24d 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 R1mo 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 R1mo ago
-
Senior Software Engineer (Backend) EUR 49K-70KAgile | Apache Kafka | Code Analysis | Dependency-Check | Distributed SystemsSenior-level Full TimeFrankfurt am Main, Germany (Hybrid) R1mo ago
-
Data Processing | Email Verification | Fine Tuning | Language Models | Language ProcessingFlexible work hours | Flexible work location | MentorshipEntry-level Full TimeAugsburg, Hybrid (innerhalb Deutschland) R1mo ago
-
Autonomous Systems | Deep learning | Language Models | Language Processing | Large Language ModelsCompetitive salaries | Inclusive culture | Remote workSenior-level Full TimeGermany, REMOTE, Germany R1mo ago
-
Agent systems | Autonomous Systems | Chatbots | Data Pipelines | Deep learningCollaborative environment | Inclusive culture | Meaningful projects | Professional growth | Remote workSenior-level Full TimeGermany, REMOTE, Germany R1mo ago