<div dir="ltr">Dear all,<div><br></div><div>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:</div><div><br></div><div><a href="https://urldefense.com/v3/__https://vacatures.uva.nl/UvA/job/PhD-in-Homotopy-Type-Theory/743389302/__;!!IBzWLUs!AC931FIUstCFopG2MMDT2agBUKk7dcV8cJIaRl9eGevkzv56vtUizrG8uaBIQZUjLet0MXnOgqL3UA$">https://vacatures.uva.nl/UvA/job/PhD-in-Homotopy-Type-Theory/743389302/</a><br></div><div><br></div><div>Please feel free to forward this to potential candidates, who in turn should feel free to contact me.</div><div><br></div><div>Let me also remind you that there is also this position:</div><div><br></div><div><a href="https://urldefense.com/v3/__https://vacatures.uva.nl/UvA/job/PhD-in-Mathematical-and-Computational-Logic/742421702/__;!!IBzWLUs!AC931FIUstCFopG2MMDT2agBUKk7dcV8cJIaRl9eGevkzv56vtUizrG8uaBIQZUjLet0MXlMAOS7BA$">https://vacatures.uva.nl/UvA/job/PhD-in-Mathematical-and-Computational-Logic/742421702/</a><br></div><div><br></div><div>where students who want to work with me on topics related to category theory and type theory can also apply.</div><div><br></div><div>Best wishes,</div><div><br></div><div>Benno</div></div>