PhD position at the University of Amsterdam

47 views
Skip to first unread message

Benno van den Berg

unread,
May 28, 2021, 5:36:19 AM5/28/21
to Homotopy Type Theory

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

Reply all
Reply to author
Forward
0 new messages