Student Research Assistant (UniMath/Coq)

Working as a Student Research Assistant at TU Delft offers a unique opportunity to immerse yourself in the academic heart of the Netherlands. The Programming Languages Group is situated within the EEMCS (EWI) faculty on the expansive TU Delft campus, primarily centered around the Mekelweg. This location is ideal for students, as it sits within walking distance of the iconic TU Delft Library and various student project hubs. For MSc Computer Science students, this role provides a direct link between theoretical coursework in formal verification and real-world application within the UniMath library.

Delft is a quintessential student city where everything is accessible by bike. The transition from the high-tech campus environment to the historic centre, with its picturesque canals and the lively Beestenmarkt, takes less than ten minutes. This proximity allows for a perfect balance between focused research and a vibrant social life. Since the position is English-friendly, it attracts a diverse international cohort, fostering a global networking environment right in South Holland. Whether you are grabbing a coffee at the Echo building or heading to the Delft Campus train station for a quick connection to Rotterdam or The Hague, the logistics of working on campus are seamless for any local student.