[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 ([email protected]).
[1] https://pl.ewi.tudelft.nl/hiring/2021/phd-student-hottuf/
[2] https://pl.ewi.tudelft.nl/
[3] https://benediktahrens.gitlab.io/
