# PhD position in HoTT/UF at TU Delft

**URL:** <https://discourse.rocq-prover.org/t/phd-position-in-hott-uf-at-tu-delft/1342>\
**Category:** Announcements\
**Tags:** jobs\
**Created:** [June 7, 2021, 1:17pm UTC](https://discourse.rocq-prover.org/t/phd-position-in-hott-uf-at-tu-delft/1342 "2021-06-07T13:17:14Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![benediktahrens](https://avatars.discourse-cdn.com/v4/letter/b/d2c977/32.png) [@benediktahrens](https://discourse.rocq-prover.org/u/benediktahrens)\
**Post date:** [June 7, 2021, 1:17pm UTC](https://discourse.rocq-prover.org/t/phd-position-in-hott-uf-at-tu-delft/1342/1 "2021-06-07T13:17:14Z")

</div>

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@gmail.com](mailto:benedikt.ahrens@gmail.com)).

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