Dear friends and colleagues, The School of Mathematics of the University of Leeds is inviting applications for a fixed-term Research Fellowship in Pure Mathematics, to work on homotopy type theory and its connections to higher category theory. Please see the web page https://jobs.leeds.ac.uk/vacancy.aspx?ref=MAPMA1114 for details. The deadline for applications is Tuesday 27th August. This is a fixed-term position until 31st August 2020, with a possibility of extension for up to 12 months of employment in total (subject to approval by the funding body). Please feel free to email me at n.gambino@leeds.ac.uk if you have any queries. With best regards, Nicola Gambino = Dr Nicola Gambino School of Mathematics, University of Leeds [For admin and other information see: http://www.mta.ca/~cat-dist/ ]