University of East Anglia invites applications for a fully funded PhD project at the Norwich campus. You will investigate the Langlands program, using AI tools and the Lean 4 proof assistant to formalise and deepen mathematical insights.
The four-year studentship starts 1 October 2027, with Home tuition fees and a tax-free stipend of £20,409 (2026/27 rate) plus a Research Training Support Grant. This work blends number theory, AI, and formal mathematics.
#J-18808-Ljbffr
This role is for the Fully Funded PhD: AI-Enhanced Formal Langlands Math role at University of East Anglia.
Take a moment to read everything above and see whether this role is right for you.
This posting is for the Fully Funded PhD: AI-Enhanced Formal Langlands Math role at University of East Anglia, based in Norwich, England, United Kingdom.