Dear all,

The ILLC 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-candidate-Logic-Language-and-Computation

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

--
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/8de729a0-d7ee-459a-8e49-ee845e1711cb%40googlegroups.com.