Research Fellow in Pure Mathematics

Country: United Kingdom;

City: Leeds

Vacancy added: 31.07.2019

Employer: University of Leeds

Resumes due: 27.08.2019


Are you an ambitious researcher looking for your next challenge?

Do you have an established background in Pure Mathematics?

Do you want to further your career in one of the UKs leading research intensive Universities?

We are looking for a Research Fellow to join our project “Univalent type theories: models, equalities, and coherence”, which seeks to advance Homotopy Type Theory. In particular, the project seeks to study homotopy-theoretic models of type theories and their connections with Higher Topos Theory.

You will contribute to the project by carrying out original research, preparing research papers for publication in international journals and conference proceedings, and giving research seminars and conference talks. 

You will have a PhD in Mathematics, Computer Science or a closely allied discipline (or have submitted your thesis before taking up the role), alongside experience in Type Theory, Category Theory or Homotopy Theory. You will also have the ability to conduct independent research and a developing track record of publications in international journals. In addition, you will have excellent communication, planning and team working skills.


To explore the post further or for any queries you may have, please contact: 

Dr Nicola Gambino, Associate Professor in Pure Mathematics

Tel: +44 (0)113 343 5143, email:

Where to send resume: