Delft Student Research Assistant - International Students

Why this job is perfect for a student living in Delft
Studying at TU Delft means you live among canals, cobbled streets near the Beestenmarkt, and the green escape of Delftse Hout. If you enjoy the citynergy of engineers and tech-focused students, this part-time role blends academic rigour with the relaxed student vibe of Delft. This position is ideal for students looking for Delft student jobs that fit around lectures, lab work and social life — a great match for those searching for student jobs in Delft for english speakers or jobs in Delft for international students.

The role
We are hiring a Student Research Assistant (UniMath/Coq) to join the Programming Languages Group at TU Delft. This is a part-time, supervised research role with a TU Delft contract. As a Student RA you will:

• Contribute to the UniMath library using the Coq proof assistant.
• Help improve and maintain documentation for the library and associated tools.
• Work on continuous integration (CI) tasks to keep the codebase reliable and reproducible.
• Report progress to and receive guidance from staff supervisors in the Programming Languages Group.

This role is especially suitable for MSc Computer Science students or advanced BSc students with an interest in formal methods, proof assistants, and software tooling.

International friendly
English-friendly environment: all day-to-day communication and documentation can be in English, so this position welcomes international students. If you re searching specifically for part time jobs Delft english or jobs in Delft for international students, this opportunity is explicitly accessible to non-Dutch speakers.

Practicalities
Work hours: 4 6 uur per week. The position offers flexibility to fit around your study schedule and typical student life in Delft. The role is contracted via TU Delft. Salary is not specified here — details will be provided during the application or interview process. Exact workplace location within Delft is not specified, but being based at TU Delft means easy access from central student areas and bike-friendly routes along Delftanals and streets.

Who we re looking for
Ideal candidates are curious, detail-oriented, and comfortable with or eager to learn Coq and the UniMath codebase. Good written communication skills in English are important because documentation and collaboration are central to the role.

How to apply
If you re interested, please apply using the form below. Provide a short CV, your study programme and year, and a brief statement of interest highlighting any relevant technical or proof-assistant experience. We look forward to hearing from students keen to combine academic research with hands-on tooling work in Delft!