Werk 4–8 uur per week als student-onderzoeksassistent aan de UniMath-bibliotheek (Coq), documentatie en CI bij de TU Delft. Ideaal voor MSc CS-studenten.
Deze rol biedt MSc Computer Science-studenten waardevolle praktijkervaring met formele verificatie en Coq-documentatie binnen een vooraanstaande onderzoeksgroep van de TU Delft.
Delft City4–8 uur per week