Research Fellow in Pure Mathematics

United Kingdom
£33,797 to £40,322 p.a.
Dec 17, 2020
Jan 16, 2021
Organization Type
University and College
Full Time
Do you want to join one of the leading Schools of Mathematics in the UK?

Are you ready to work in a vibrant interdisciplinary area?

You will work on the project 'Syntax and semantics of 2-dimensional type theories', funded by the US Air Force Office for Scientific Research, led by Dr Nicola Gambino (University of Leeds). As part of the project, you will work at the boundary of mathematical logic, theoretical computer science and category theory to investigate a variety of type theories and their semantics in 2-dimensional categories. In particular, you will investigate internal languages for 2-dimensional categories, higher inductive types and explore connections with the theory of stacks and with categorification.

With a PhD (or close to completion) in Mathematics, Computer Science or a closely related discipline, you will have a strong background in category theory and type theory.

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 or Email:

Please note: If you are not a British or Irish citizen, from 1 January 2021 you will require permission to work in the UK. This will normally be in the form of a visa but, if you are an EEA/Swiss citizen and resident in the UK before 31 December 2020, this may be your passport or status under the EU Settlement Scheme.

Similar jobs

Similar jobs