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
akkoma
3.17.0-0-g06589d9--stable-
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
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
0
Followers
0
Following
Pronouns:
He/him or they/them
Website:
PGP:
42dd565502cfa3768fda297748c6e03082b16e63
Alt account:
Goodreads:
Posts
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
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
·
Mar 27, 2026
0
0
1
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
·
Mar 13, 2026
@amy I do not like LLMs but I do admit that I love Agda more than I hate LLMs. Perhaps it was naive of me to believe there might be a possible compromise that is at least somewhat acceptable to everyone in the team. But my love for the project forces me to at least try to find a solution - even if as you say it is impossible. If it makes you feel better to be angry with me for trying, then so be it. I'm just tired.
2
1
0
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
·
Mar 02, 2026
@mevenlennonbertrand well at least with Agda you probably don't need to burn as many GPU cycles to find a proof of false, so you could consider it to be more ecological alternative.
1
2
4
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
·
Dec 15, 2025
@anuytstt apparently I'm 4 days late already mastoxiv.page/@arXiv_csLO_bot/115699812365501592
0
0
0
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
·
Dec 15, 2025
Fancy new name binding technique just dropped: arxiv.org/abs/2512.09464 (work by Antoine van Muylder, @anuytstt and Dominique Devriese).
It includes such things as nominal pattern matching and synthetic Kripke parametricity. It's even implemented as an extension to "the mature proof assistant Agda"! [EDIT: actually it's only the older binary version that has been implemented, not this nullary version.] Disclaimer: I haven't read the paper yet, but this sounds very cool.
#TypeTheory #NameBinding #Parametricity #Agda
It includes such things as nominal pattern matching and synthetic Kripke parametricity. It's even implemented as an extension to "the mature proof assistant Agda"! [EDIT: actually it's only the older binary version that has been implemented, not this nullary version.] Disclaimer: I haven't read the paper yet, but this sounds very cool.
#TypeTheory #NameBinding #Parametricity #Agda
0
8
0
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
·
Sep 05, 2024
I'm very happy to announce that Andreea Costea is joining our PL group in Delft, starting in October 2024! You can find out about her work on her website: comp.nus.edu.sg/~andreeac/
Our group is also hiring a PhD student to work with Andreea on the topic Trustworthiness of Auto-Generated Systems. The deadline for applications is on **September 26** so don't wait too long to apply! All information about the application procedure is available here:
tudelft.nl/over-tu-delft/werken-bij-tu-delft/vacatures/details?jobId=18693&jobTitle=PhD%20position%20Trustworthiness%20of%20Auto-Generated%20Systems%20%20%20%20%20%20
#phd #trustworthiness #programminglanguages #delft #tudelft
Our group is also hiring a PhD student to work with Andreea on the topic Trustworthiness of Auto-Generated Systems. The deadline for applications is on **September 26** so don't wait too long to apply! All information about the application procedure is available here:
tudelft.nl/over-tu-delft/werken-bij-tu-delft/vacatures/details?jobId=18693&jobTitle=PhD%20position%20Trustworthiness%20of%20Auto-Generated%20Systems%20%20%20%20%20%20
#phd #trustworthiness #programminglanguages #delft #tudelft
0
2
0