[Agda] PhD position in HoTT/UF at TU Delft

Benedikt Ahrens benedikt.ahrens at gmail.com
Wed May 26 20:47:24 CEST 2021


A PhD position [1] is open in the Programming Languages group [2] at TU 
Delft, in the area of HoTT/UF. The student will be supervised by 
Benedikt Ahrens [3].

Information about the position is available on the dedicated website 
[1]. If you have any questions or consider applying, please get in touch 
with Benedikt (benedikt.ahrens at gmail.com).

[1] https://pl.ewi.tudelft.nl/hiring/2021/phd-student-hottuf/
[2] https://pl.ewi.tudelft.nl/
[3] https://benediktahrens.gitlab.io/


More information about the Agda mailing list