Research Fellow in Pure Mathematics

Are you an ambitious researcher looking for your next challenge?

Do you have a strong background in either category theory or categorical logic?

Do you want to further your career in one of the UK's leading research-intensive universities?

We are looking for a Research Fellow to join our EPSRC funded project GrantRef=EP/V002325/1">Monoidal Bicategories, Linear Logic and Operads (MOBILLO), led by Dr Nicola Gambino (University of Leeds) and Professor Marcelo Fiore (University of Cambridge). As part of the project, you will work on the boundary of category theory, logic and type theory to advance the theory of monoidal bicategories and develop its applications. In particular, you will investigate a variety of category-theoretic structures, including differentials and trace, in the bicategorical setting, and explore their applications to the semantics of linear and differential type theories.

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

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: N.Gambino@leeds.ac.uk

Further information

The Schools in the Faculty of Engineering & Physical Sciences are proud to have been awarded the Athena SWAN Bronze or Silver Award from the Equality Challenge Unit, the national body that promotes equality in the higher education sector. Our equality and inclusion webpage provides more information.