Logic List Mailing Archive

PhD student position in homotopy type theory, Amsterdam (The Netherlands), Deadline: 15 Mar 2017

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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam