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:
Of course, people can also contact me for questions or more information.
Best wishes,
Benno