CAUTION: The Sender of this email is not from within Dalhousie. 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, type theory, proof theory or constructive maths, should feel free to contact me. Best wishes, Benno [For admin and other information see: http://www.mta.ca/~cat-dist/ ]