Postdoctoral Researcher in Computational Game Theory and Social Choice Theory University of Oxford in United Kingdom

One fully funded PhD position is available at Edinburgh Napier University in the Blockpass Identity Lab on the project “Privacy-aware Public Trust Infrastructure (PTI) for Elections with AI Fake Detection” . The project is co-funded by Democracy Counts and focuses on building a privacy-preserving trusted AI infrastructure for elections, including an Electoral Trust Infrastructure (ETI) as an initial implementation. The research sits at the intersection of Artificial Intelligence , Cyber Security...

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

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

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

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