[Apologies for multiple postings] Dear friends colleagues, The University of Leeds is advertising a Research Fellowship to work with me on the project “Univalent type theories: models, equalities, and coherence”. The deadline for applications is 7th November 2017. For further information on the position and instructions on how to apply, please see https://jobs.leeds.ac.uk/Vacancy.aspx?ref=MAPMA1066 In particular, see the document “Candidate Brief”, available for download at the bottom of the page. Please do not hesitate to contact me if you have any queries. With best wishes, Nicola == Dr Nicola Gambino School of Mathematics, University of Leeds Web: http://www1.maths.leeds.ac.uk/~pmtng/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]