PhD position in HoTT/UF at TU Delft

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 (

[1] PhD studentship in homotopy type theory and univalent foundations