PhD Studentship: Studying the Langlands program via formalisation and AI

Overview

This four-year fully funded PhD project focuses on studying the Langlands program by combining artificial intelligence, formal mathematics, and number theory. Based at the Norwich campus within the School of Engineering, Mathematics and Physics at the University of East Anglia, the research involves using AI tools alongside the Lean 4 proof assistant. The work begins with the local Langlands correspondence for GL2(F) where F is a non-Archimedean local field, aiming to build computer-verified definitions and theorems, prove new results, and generate original contributions to number theory.

Requirements

Applicants must hold a minimum entry requirement of a 2:1 degree in Mathematics. The studentship is restricted to applicants who are eligible for Home fee status.

What you get

The funding provides tuition fees at the Home fee rate, an annual tax-free stipend of £20,409 per annum at the UEA rate which is subject to any agreed inflationary uplift for the 2027/28 period, and a Research Training Support Grant of £3,000 per annum.

Key dates

The application closing date is 2027-02-24. The program begins on 1 October 2027.