[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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: https://urldefense.com/v3/__https://vacatures.uva.nl/UvA/job/PhD-in-Homotopy-Type-Theory/743389302/__;!!IBzWLUs!AC931FIUstCFopG2MMDT2agBUKk7dcV8cJIaRl9eGevkzv56vtUizrG8uaBIQZUjLet0MXnOgqL3UA$ 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: https://urldefense.com/v3/__https://vacatures.uva.nl/UvA/job/PhD-in-Mathematical-and-Computational-Logic/742421702/__;!!IBzWLUs!AC931FIUstCFopG2MMDT2agBUKk7dcV8cJIaRl9eGevkzv56vtUizrG8uaBIQZUjLet0MXlMAOS7BA$ where students who want to work with me on topics related to category theory and type theory can also apply. Best wishes, Benno