This role provides MSc Computer Science students with hands-on experience in formal verification and Coq documentation within a prestigious TU Delft research group.
Delft City4–8 uur per weekEnglish-friendly
Employer page
This page lists active roles from TU Delft – Programming Languages Group on Student Jobs Delft. It does not imply a formal partnership unless marked as sponsored or featured.
This role provides MSc Computer Science students with hands-on experience in formal verification and Coq documentation within a prestigious TU Delft research group.
End of results
Jump back to the filters or get an email when new student jobs appear.