[TYPES/announce] PhD position on Homotopy Type Theory
Benno van den Berg
bennovdberg at gmail.com
Mon Mar 21 07:01:34 EDT 2022
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.
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce