Research Fellow in Higher Category Theory

University of Leeds

Leeds, United Kingdom

ID: 7255623 (Ref.No. EPSMA1115)
Posted: June 17, 2024

Job Description

Do you have expertise in Higher Category Theory? Do you feel enthusiastic in engaging in collaborative research around the connections between Category Theory and Logic, within a strong supportive team in the University of Leeds?

We are looking for one Research Fellow to work on the grant “Syntax and semantics of two-dimensional type theories”, funded by the US Air Force Office for Scientific Research. As part of the project, you will work at the boundary of Higher Category Theory and Logic to investigate how higher categories can be used to study logical systems. The project is led by Dr Andrew Brooke-Taylor (University of Leeds) and Dr Nicola Gambino (University of Manchester).

The vision of the grant is to extend the fundamental connections between Category Theory and Logic to higher categories, by investigating categorical structures such as bicategories and (∞,n)-categories, and the relationship between them.

As part of your application, please ensure that you upload a CV (including a publication list), and a Research Statement, summarising your research achievements and the current / future potential of your work, and your interest in the connections between Higher Category Theory and Logic. The research statement should be accessible to readers outside your immediate field of expertise and be at most one side of A4 (minimum font size 11).

Interviews will take place on Tuesday 16 July 2024.

We are open to discussing flexible working arrangements. 


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

Dr Andrew Brooke-Taylor, Associate Professor in Pure Mathematics, University of Leeds

Email: [email protected]


Dr Nicola Gambino, Reader in Pure Mathematics, University of Manchester

Email: [email protected] 

Location:  Leeds - Main Campus
Faculty/Service:  Faculty of Engineering & Physical Sciences
School/Institute:  School of Mathematics
Category:  Research
Grade:  Grade 7
Salary:  £37,099 to £44,263 p.a.
Due to funding restrictions, an appointment will not be made higher than £39,347 p.a.
Working Time:  37.5 hours per week
Post Type:  Full Time
Contract Type:  Fixed Term (Up to 10 months, available from 01 September 2024, to end by 30 October 2025 - To complete specific time limited work.)
Release Date:  Friday 14 June 2024
Closing Date:  Wednesday 03 July 2024
Reference:  EPSMA1115

The University community is made up of a wide range of people with diverse backgrounds and circumstances, which we value and regard as a great asset. As part of our continued commitment to equality and inclusion, we strive to create an environment where everyone can reach their full potential and have a real opportunity to participate in and contribute to our activities.