Dear all,

The Institute for Logic, Language and Computation (part of the University of Amsterdam) will be hiring an assistant professor in Theoretical Computer Science. The official add is available here:

https://ivi.uva.nl/shared/uva/en/vacancies/2020/10/20-647-assistant-professor-theoretical-computer-science.html?origin=dXb5vvhxSni9fe05dSz4fA

Best wishes,

Benno

--
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/HomotopyTypeTheory/fd89dad4-f27f-4d87-93a0-a85d4713ea92n%40googlegroups.com.