数论与表示论博士职位
PhD Studentship: Formalising the Local Langlands Correspondence for GL₂(F) in Lean
原帖优先：申请材料、截止时间与资格以原帖和学校官方说明为准。
AI 中文速览
- 研究内容
- 正式化 GL₂(F) 的局部朗兰兹对应关系
- 申请条件
- 2:1 学士学位和数学硕士学位
- 待遇
- 自筹资金或外部资金，可能有学费折扣
- 申请方式
- 原文未说明
- 材料清单
- 原文未说明
由 @cf/meta/llama-3.3-70b-instruct-fp8-fast 生成，博士岗判定置信度 100%。
结构化信息
- 截止
- （Europe/London） 剩 53 天
- 学科
- 其他
- 合同类型
- 雇佣合同
- 原帖发布
- 本站收录
- 内容更新
- 导师
- Dr. Christopher Birkbeck
- 来源
- jobs.ac.uk（英国博士项目及学术招聘） · 最近核对 2026-10-07
判定依据（原文摘录）
- is_phd
PhD Studentship
原文
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 formalise the sophisticated mathematical objects required to state the main theorem. This will involve developing a computer-verified library for the two sides of the correspondence: (1) the representation theory of GL₂(F), where F is a non-Archimedean local field, including the theory of irreducible admissible representations; and (2) the intricate structure of two-dimensional Galois representations of the Weil group of F.
Once the definitions are in place, the second phase of the project will be to create a comprehensive framework to guide the formalisation of the proof itself, laying the groundwork for a long-term verification effort. This foundational work will be a landmark achievement in the digital formalisation of contemporary mathematics.
Entry Requirements
The minimum entry requirements are a 2:1 Bachelor's degree and a Master's in mathematics.
Mode of Study
Full or Part time
Start Date
1 February 2027
Additional Funding Information
This project is offered on a self-funded basis. It is open to applicants who are self-funded or who are in the process of securing external funding.
A bench fee is payable in addition to the tuition fee, to cover the cost of specialist equipment and laboratory facilities required for the research. Applicants should contact the primary supervisor for details of the bench fee applicable to this project.
If you are part of the UEA alumni community, you may be eligible for a tuition fee discount.
For information on doctoral funding, visit our Postgraduate Student Loans page.