Dear all,

The Institute for Logic, Language and Computation (ILLC) at the University of Amsterdam currently has funding for one PhD position at the Faculty of Science, starting on 1 September 2017 (or shortly thereafter).
Applications are now invited from excellent candidates wishing to conduct research in an area within ILLC that fits naturally in the Faculty of Science. The application deadline is 15 February 2017.
More information can be found here:

http://www.illc.uva.nl/NewsandEvents/News/Positions/newsitem/8495/PhD-position-at-ILLC

If you are interested in category theory/constructivism/(homotopy) type theory and you are interested in applying, please do not hesitate to contact me.