Research Fellow in Computer Science: New Algebraic Structures for Computational Effects University of Birmingham in United Kingdom

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

SOFAIR is recruiting fully funded PhD students for research in foundational AI at the UCL AI Centre in London. The opportunity is focused on advancing AI theory , novel architectures , open-source models , and trustworthy AI systems , with collaboration alongside researchers from UCL , Oxford , Cambridge , and Edinburgh . This is a 4-year studentship and is described as fully funded . The post does not mention a specific stipend amount, tuition details, or additional benefits, but it clearly ind...

Postdoctoral position at the University of Cambridge in theoretical computer science and quantum computing , with research topics including classical and quantum complexity theory, sublinear algorithms, cryptography, learning theory, and connections to harmonic analysis and additive combinatorics. This opportunity is in Tom Gur’s group . The post is aimed at researchers with interests in core areas of theoretical computer science, especially those working across complexity, algorithms, coding th...

Arnab Bhattacharyya at the University of Warwick is searching for PhD students to join research on foundational questions in AI and machine learning. This is a PhD opening in Computer Science with strong relevance to Artificial Intelligence, Machine Learning, Statistics, and Mathematics. The post points to Warwick’s PhD application page for the research area and notes that the first-round deadline is 30 October 2026. No funding details, eligibility specifics, or language-test waivers are mention...

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