📢 UK – PhD Position in Formal Mathematics at University of East Anglia

🏛 University: University of East Anglia
🌍 Country: United Kingdom

🎓 Fields:
Mathematics, Number Theory, Representation Theory, Computer Science, Mathematical Logic


Are you passionate about advancing the frontiers of mathematical understanding and digital formalisation? Do you aspire to contribute to one of the most ambitious and intellectually stimulating projects in modern mathematics? If you have a strong background in mathematics and a keen interest in formal methods and artificial intelligence, this opportunity at the University of East Anglia could be your next academic milestone.


The offered PhD position focuses on formalising the local Langlands correspondence for GL₂(F) using the Lean interactive theorem prover, with the integration of AI agents. The Langlands program is a profound and far-reaching area in modern mathematics, forging unexpected connections between number theory, representation theory, and harmonic analysis. The local Langlands correspondence, in particular, is a cornerstone of this program, establishing deep links between the representation theory of general linear groups over local fields and Galois representations.

🔗 Find out more and Apply Now:

⚠️ Android users: If it doesn't open, use "Open in browser"

https://phdfinder.com/2026/08/05/uk-phd-position-in-formal-mathematics-at-university-of-east-anglia/



━━━━━━━━━━