PhD in End-to-End Verification of Security Protocols in Isabelle University of Exeter 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...

Xi’an Jiaotong-Liverpool University (XJTLU) in China is advertising multiple postdoctoral positions in the Post-Quantum Cryptography Migration Interdisciplinary Lab (PQC-X) . The openings focus on post-quantum cryptography , multi-party computation , zero-knowledge proofs , and fully homomorphic encryption , with opportunities spanning design, analysis, implementation, and application. The lab is led by Prof. Jintai Ding and is building an internationally collaborative research environment with ...

Fully funded PhD position in Quantum Cryptanalysis of Post-Quantum Cryptographic Schemes at Royal Holloway, University of London , within the Information Security Group in the Department of Computing, Security and Mathematics, in collaboration with the National Physical Laboratory (NPL) . This opportunity is aimed at students with a strong background in Computer Science , Mathematics , Physics , or a related field. The post is explicitly open to UK home students only and is subject to security c...

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

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