Research Fellow in Set Theory

Do you have a deep understanding of the Axiom of Choice? Do you find large cardinal axioms interesting? Are you enthusiastic about collaborative research around the connections between the Axiom of Choice, symmetric extensions, and large cardinal axioms at the University of Leeds?
We are looking for one Research Fellow to work on the project "Understanding the axioms II: Symmetric extensions for large cardinal axioms", funded by the UKRI through the Future Leaders Fellowship scheme. As part of this project, you will be developing and analysing mathematical constructions related to the Axiom of Choice through various different lenses, and their connections to large cardinal axioms, as well as to other standard consequences of the Axiom of Choice. The project is led by Dr Asaf Karagila.
The vision of grant is to understand and extend how elementary embedding-based large cardinal axioms interact with the Axiom of Choice. Proving the necessity of choice axioms, constructing counterexamples, and laying the ground for future work on the subject.
As part of your application, please ensure that you upload a CV (including a publication list), and a Research Statement, summarising your research achievements, your current research pursuits, and future plans. This research statement should be accessible to readers outside of mathematical logic and be at most one side of A4 (minimum font size 11pt).
We are open to discussing flexible working arrangements.

o 26 days holiday plus approx.16 Bank Holidays/days that the University is closed by custom (including Christmas) - That's 42 days a year!
o Generous pension scheme plus life assurance - the University contributes 14.5% of salary.
o Health and Wellbeing: Discounted staff membership options at The Edge, our state-of-the-art Campus gym, with a pool, sauna, climbing wall, cycle circuit, and sports halls.
o Personal Development: Access to courses run by our Organisational Development & Professional Learning team.
o Access to on-site childcare, shopping discounts and travel schemes are also available.
And much more!