Joinup

About

CS M.Sc. @ KIT — LLMs × Formal Verification

Computer Science M.Sc. candidate at KIT specializing in the intersection of large language models and 
formal verification. Hands-on experience building LLM orchestration tooling (Delphyne) and adapting  
hybrid informal/formal proof methods for automated theorem proving in Rocq. 

Skills

C++

Linux

Python

Open for

fulltime

internship

Work Experience

Symbolaris Lab, Karlsruhe Institute of Tech. (KIT), Karlsruhe, Germany

2025-01 - 2025-09

Workplace
Student Assistant (HiWi)
Location

Other

Employement type

parttime

Contributed to Delphyne, an open-source Python/TypeScript LLM orchestration framework released as both a library and a VS Code extension, underpinning published research on Oracular Programming.

Mailänder Consulting GmbH.

2023-01 - 2023-10

Workplace
Project Management Working Student
Location

Other

Employement type

parttime

Project Management division at an engineering consultancy specialized in infrastructure for Deutsche Bahn. ■ Supported project managers in coordinating multi-stakeholder rail infrastructure projects, tracking deliverables and milestones across engineering teams. ■ Reviewed and structured technical documentation (tender specifications, project reports), ensuring consistency and traceability for compliance audits.

MR. BYTE TECH SOLUTIONS, S.L

2022-06 - 2022-10

Workplace
Machine Learning Engineering Intern
Location

Other

Employement type

internship

NLP and time-series research team developing models to identify financial market trends from alternative textual data sources. ■ Implemented and benchmarked topic-modeling approaches (BoW, PLSA, LDA) on alternative financial text corpora to surface market-relevant trends. ■ Built preprocessing pipelines (tokenization, normalization and lexicon handling) over SQL-backed corpora to prepare training data and evaluate model fit. ♦ Stack: Python, SQL, Linux.

Academic Experience

Karlsruhe Institute of Technology (KIT) -

 

2023.09 - 2026.06

Master of Science, MSc in Computer Science

University Carlos III of Madrid -

 

2019.08 - 2023.08

Bachelor of Science, BSc in Applied Mathematics and Computing