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
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
0
2
0
Conversation (2)
Showing 0 of 2 cached locally.
Syncing comments from the remote thread. 2 more replies are still loading.
Loading comments...