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) in formal mathematics , number theory , representation theory , and computer-assisted proof . The project is titled “Formalising the Local Langlands Correspondence for GL₂(F) in Lean” and focuses on building a computer-verified framework in the Lean interactive theorem prover . The research aims to formalise the local Langlands correspondence for GL₂(F), including the representation theory of GL₂(F) over a non-Archimedean local fi...

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...

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...

Pablo Poggi at the University of Strathclyde is advertising a PhD opening in the Department of Physics (Glasgow, UK) focused on quantum control theory , quantum information science , quantum technologies , and open quantum systems . The project aims to develop noise-agnostic optimal control techniques that dynamically modulate system-environment interactions to reduce imperfections and protect key quantum computing operations such as entangling gates and state preparation . This is a strong fit ...

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...