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

دربارهٔ این موقعیت

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

چه کسی می‌تواند درخواست بدهد

تابعیت و ویزا

مهلت و روش درخواست

درخواست تا 30 نوامبر 2026 (18 روز از امروز) باز است. درخواست را در صفحهٔ رسمی بفرستید؛ PhD Atlas درخواست جمع نمی‌کند.

فراخوان رسمی را بخوانید و درخواست بدهید

فراخوان رسمی: https://www.jobs.ac.uk/job/DTN742/phd-studentship-formalising-the-local-langlands-correspondence-for-glf-in-lean

همیشه فراخوان رسمی و قواعد تابعیت را پیش از درخواست بخوانید.