PhD Studentship in Formalising the Local Langlands Correspondence for GL₂(F) in Lean University of East Anglia in United Kingdom

PhD studentship at the University of East Anglia (Norwich campus, United Kingdom) in mathematics , with a focus on number theory , representation theory , formal mathematics , and the Lean theorem prover . The project is titled Formalising the Local Langlands Correspondence for GL₂(F) in Lean and aims to begin the computer-assisted formalisation of a major theorem in the Langlands program. The research will develop a verified library for the representation theory of GL₂(F) and for two-dimensiona...

Google DeepMind is hiring a Student Researcher for Fall 2026 , with a research focus on agents , reinforcement learning (RL) , and how these methods affect model behavior . This opportunity is aimed at candidates who are currently pursuing a PhD and who have strong engineering and research skills. The post suggests a research-oriented role rather than a standard academic degree opening, and it is especially relevant for students interested in machine learning, agentic systems, and experimental a...

Zhenyu Cai, an EPSRC Fellow and Group Leader/Principal Investigator, is advertising a fully funded PhD opening at Imperial College London in the area of controlling errors in quantum computers . This opportunity is aimed at students interested in quantum computing , quantum error control , and related topics at the interface of physics , computer science , mathematics , and potentially electrical engineering . The post explicitly states that the PhD is fully funded and open to both home and over...

PhD opportunity in Reliable and Efficient Adaptation of Large Language Models at the University of Sheffield , School of Computer Science, with supervision by Dr Cass Zhixue Zhao and Prof Nikos Aletras . This project focuses on large language models , post-training adaptation , model editing , fine-tuning , activation steering , mechanistic interpretability , and trustworthy AI . The aim is to develop methods that make LLM adaptation more reliable, explainable, efficient, persistent, and safe, w...

PhD studentship at the University of Birmingham in robotic materials , mechanical metamaterials , active matter physics , and embodied artificial intelligence . The project focuses on self-learning active mechanical networks and will combine table-top robotic experiments with theoretical modelling . Research directions may be tailored to the successful candidate’s interests and expertise, with opportunities to work on decentralized learning, physical reservoir computing, contrastive learning, no...