PHD POSITION

PhD Studentship: Formalising the Local Langlands Correspondence for GL₂(F) in Lean

Deadline: 30 Nov 2026 · 18 days left

Institution: University of East Anglia
Country: United Kingdom
Field: Mathematics and statistics
Type: PhD position
Deadline: 30 Nov 2026 · 18 days left

About this position

Primary Supervisor: Dr. Christopher Birkbeck This PhD project, based at our Norwich campus, offers a unique opportunity to work at the confluence of number theory, representation theory, and formal mathematics. You will undertake a single, ambitious research project: to begin the formalisation of the local Langlands correspondence for GL₂(F) in the Lean interactive theorem prover by leveraging AI agents. This correspondence is a cornerstone of the modern Langlands program, providing a deep and unforeseen bridge between harmonic analysis and number theory. The primary goal of this project is to

Who can apply

Nationality and visa rules

PhD Atlas has not checked the nationality or visa rules for this call yet. Read the official page before you apply.

We only state a rule when we have read it on the official page. Any note appears here once it is checked.

Deadlines and how to apply

Applications close on 30 Nov 2026 (18 days from today). Apply on the official page; PhD Atlas does not collect applications.

Read the official call and apply

Official call: https://www.jobs.ac.uk/job/DTN742/phd-studentship-formalising-the-local-langlands-correspondence-for-glf-in-lean

Always read the official call and the nationality rules before you apply.