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]

OR

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

Email: [email protected]