Our department is hiring an assistant professor in computer science (including programming languages). If you would like to join our small but diverse PL group in beautiful little Delft, please don't hesitate to apply! Also feel free to reach out to me if you want to know anything about our department or academic life in the Netherlands.
Deadline for applications: 11th of May
academictransfer.com/en/jobs/360114/assistant-professor-in-computer-science/
#TUDelft #AssistantProfessor #Hiring #ComputerScience #SoftwareTechnology #ProgrammingLanguages #TypeTheory #SoftwareVerification #Agda #Rocq
Jesper Agdakx 🔸
@jesper@agda.club
Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL@AkademieNL.social. I've taken the 🔸10% Pledge (#2542) to donate to effective charities. Talk to me about: - Dependently typed programming - Tabletop role-playing games - Effective Altruism - Veganism - Neurodiversity - Mindfulness and Engaged Buddhism - Woodwind instruments (particularly bassoon and clarinet) - Hiking and landscape photography
agda.club
Jesper Agdakx 🔸
@jesper@agda.club
Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL@AkademieNL.social. I've taken the 🔸10% Pledge (#2542) to donate to effective charities. Talk to me about: - Dependently typed programming - Tabletop role-playing games - Effective Altruism - Veganism - Neurodiversity - Mindfulness and Engaged Buddhism - Woodwind instruments (particularly bassoon and clarinet) - Hiking and landscape photography
agda.club
@jesper@agda.club
·
Apr 14, 2026
0
0
0
Loading comments...