Dear all,

At the Institute for Logic, Language and Computation (ILLC) at the 
University of Amsterdam we are looking for an excellent PhD candidate to 
work on homotopy type theory. The application deadline is 15 March.

The student would be working under my supervision and the starting date is 
somewhat negotiable, but it should be around September 1, 2017. More 
information is available here:

http://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/8682/PhD-position-in-Homotopy-Type-Theory

Of course, people can also contact me for questions or more information.

Best wishes,

Benno