PhD position in Homotopy Type Theory

70 views
Skip to first unread message

Benno van den Berg

unread,
Mar 21, 2022, 7:02:54 AM3/21/22
to Homotopy Type Theory
Dear all,

At the University of Amsterdam we are looking for a PhD student who wants to work on homotopy type theory (preferred starting date 1 September 2022). The advertisement can be found here:


Please feel free to forward this to potential candidates, who in turn should feel free to contact me.

Let me also remind you that there is also this position:


where students who want to work with me on topics related to category theory and type theory can also apply.

Best wishes,

Benno
Reply all
Reply to author
Forward
0 new messages