PhD Studentship - Formalising the Local Langlands Correspondence for GL₂(F) in Lean (BIRKBECKC_U27EMPSF)
University of East Anglia
United Kingdom
Summary
PhD positions and research opportunities: formalise the local Langlands correspondence for GL₂(F) in Lean with AI agents. Build a computer-verified library for GL₂(F) representations and Weil-group Galois representations, bridging number theory and harmonic analysis. Self-funded.
