PhD position in HoTT/UF at TU Delft

Skip to first unread message

Benedikt Ahrens

May 26, 2021, 2:45:57 PM5/26/21
to homotopytypetheory
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 (

Reply all
Reply to author
0 new messages