Two postdoctoral positions in large cardinals and the axiom of choice, Norwich (England)

Applications are invited for two postdoctoral research positions to work with Dr Asaf Karagila at the University of East Anglia on the project "Understanding the axioms: the interactions of the Axiom of Choice with large cardinal axioms" funded by UKRI Future Leaders Fellowship MR/T021705/1. These full time posts are available from 15 September 2020 or as soon as possible thereafter. The positions are initially for a fixed term of 24 months initially but may be extended for upto 21 additional months.

The project aims to better understand the tools currently missing for consistency results related to large cardinals without the axiom of choice. Specifically, improving upon the basic tools for lifting elementary embeddings to symmetric extensions, and the iterations thereof. Successful candidates will have (or be closed to submitting) a PhD in a relevant area of mathematics, most likely set theory, although not necessarily with focus on results concerning large cardinals or the axiom of choice.