Research fellowship in Homotopy Type Theory and Univalent Foundations, Leeds (U.K.)

The School of Mathematics of the University of Leeds is advertising a Research Fellowship in Pure Mathematics to work on homotopy type theory and univalent foundations.

The position is for 30 months and it is available from March 1st, 2014. The deadline for applications is January 6th, 2014.

Further information, including details on salary and the application procedure, is available from the University of Leeds job search website at http://www.leeds.ac.uk/info/20025/university_jobs (the reference number for the position is MAPMA0063). Or contact Dr Nicola Gambino at n.gambino at leeds.ac.uk.