[TYPES/announce] PhD position on Homotopy Type Theory
Benno van den Berg
bennovdberg at gmail.com
Mon Mar 21 07:01:34 EDT 2022
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220321/6b59f9ee/attachment-0001.htm>
More information about the Types-announce
mailing list