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.
Fully Funded PhD: AI-Enhanced Formal Langlands Math in Norwich employer: University of East Anglia
The University of East Anglia (UEA) is an exceptional employer, offering a supportive work culture that prioritises employee growth and development. As a Commercialisation Administrator, you will benefit from a generous benefits package, including 34 days of annual leave, and the opportunity to contribute to meaningful projects that impact society and the economy. UEA's commitment to gender equality, recognised by its Athena Swan Silver Institutional Award, further enhances its reputation as a progressive workplace.
