Dear colleague,

The ILLC (part of the University of Amsterdam) is advertising an open PhD position (at the Faculty of Science); the deadline is 13 June 2021. The vacancy can be found here:

https://www.uva.nl/shared-content/uva/en/vacancies/2021/05/21-315-phd-in-logic-language-and-computation.html?origin=RrhWo%2FMXSgW7Uzvhwnl%2B%2Fg

Please pass this on to potential candidates. And candidates who are interested in category theory, (homotopy) type theory, proof theory or constructive maths, should feel free to contact me.

Best wishes,

Benno