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

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

Forwarded advert for a 3-year postdoc at the Department of Statistics, University of Oxford , working with Anastasia Ignatieva on computational genomics , genetic genealogies , and the evolution and effects of genomic structural variants . The project is strongly research- and software-oriented: the successful candidate will translate theory into efficient data structures, develop algorithms, and design and implement the core software library. This is a good fit for applicants with interests in ...