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

Imperial College London is recruiting for research positions in adaptive tokenization and memory in foundation models as part of Edoardo Ponti’s ERC Starting Grant project, AToM (Adaptive Tokenization and Memory in Foundation Models). The call includes 1 postdoc / Research Associate and 2 fully funded PhD students . The research agenda focuses on latent tokenization , permanent adaptive-size memory , hierarchical sparse attention , retrofitting state-of-the-art models, and applications in infere...

King’s College London’s Department of Informatics is inviting applications for a fully funded PhD project in lattice-based cryptography . The project sits in the cryptography lab and focuses on post-quantum cryptography, hard lattice problems, cryptanalysis, and privacy-preserving technologies such as fully homomorphic encryption and zero-knowledge proof systems. The research can cover the underlying mathematical foundations, new lattice-based assumptions, cryptanalytic methods, constructions, a...

Two-year postdoctoral opportunity in Artificial Intelligence and Machine Learning at the University of Bath . The LinkedIn post from Tom Haines (Senior Lecturer at Bath) points to an Artificial Intelligence Research Associate role and notes that the position is connected to the Centre for AI and supported by initial funding from a prosperity partnership. This is a strong fit for candidates with research interests in Computer Science , especially AI/ML methods, data-driven systems, and related ma...

PhD opportunity at the University of Leeds, UK in mixed-precision methods for numerical linear algebra at exascale . The School of Computer Science at the University of Leeds is advertising a fully funded PhD position focused on developing algorithms that exploit mixed-precision arithmetic to accelerate large-scale computations on exascale supercomputers . The project sits at the interface of numerical analysis and scientific computing , with an emphasis on creating methods with real-world impac...