PhD candidate

Dear all, The ILLC (part of the University of Amsterdam) is looking for an excellent PhD candidate who is interested in conducting research in an area within the ILLC that fits naturally in the Faculty of Science. The add can be found here: http://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/11506/PhD-candi... Candidates who are interested in category theory and (homotopy) type theory should feel free to contact me before applying. Deadline: 17 February 2020. Best wishes, Benno [For admin and other information see: http://www.mta.ca/~cat-dist/ ]