PhD Studentship: Studying the Langlands program via formalisation and AI

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

Primary Supervisor: Dr Christopher Birkbeck This fully funded PhD project, based at our Norwich campus, offers an opportunity to work at the intersection of number theory, artificial intelligence and formal mathematics. You will investigate how AI can help us formalise and deepen our understanding of the Langlands program, with the aim of producing new mathematical insights, proving new results and strengthening existing ones. A concrete starting point will be the local Langlands correspondence for GL2(F) where F is a non-Archimedean local field. This correspondence provides a deep bridge betw

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

تابعیت و ویزا

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

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

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

فراخوان رسمی: https://www.jobs.ac.uk/job/DTP041/phd-studentship-studying-the-langlands-program-via-formalisation-and-ai

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