***SPAM?*** categories: PhD position in HoTT/UF at TU Delft

CAUTION: The Sender of this email is not from within Dalhousie. 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). [1] https://pl.ewi.tudelft.nl/hiring/2021/phd-student-hottuf/ [2] https://pl.ewi.tudelft.nl/ [3] https://benediktahrens.gitlab.io/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]