Research Fellow in Pure Mathematics

Leeds, United Kingdom
£33,199 to £39,609 p.a.
30 Jul 2019
End of advertisement period
27 Aug 2019
Contract Type
Fixed Term
Full Time

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:

Location:      Leeds - Main Campus
Faculty/Service:      Faculty of Mathematics & Physical Sciences
School/Institute:      School of Mathematics
Category:      Research
Grade:      Grade 7
Salary:      £33,199 to £39,609 p.a.
Post Type:      Full Time
Contract Type:      Fixed Term (Fixed term until 31 August 2020 with the possibility of extension, dependant on funding)
Closing Date:      Tuesday 27 August 2019
Interview Date:      Thursday 12 September 2019
Downloads: Candidate Brief