Postdoc in Classical and Quantum Complexity Theory, Algorithms, Cryptography, and Learning Theory at Cambridge University of Cambridge in United Kingdom

Postdoctoral Researcher in Quantum Error Correction at the University of Luxembourg , within the Interdisciplinary Centre for Security, Reliability and Trust (SnT) and the APSIA Group led by Prof. Peter Y A Ryan . The project is titled Quantum LDPC codes with efficient decoding algorithms and focuses on quantum error correction , quantum LDPC codes , and decoding algorithms . The successful candidate will conduct research, disseminate results through conferences and journals, and may also contri...

PhD opportunity in Controlling Errors in Quantum Computers at Imperial College London , supervised by Dr Zhenyu Cai . This project targets one of the central challenges in quantum computation : reducing and controlling errors in quantum machines. The research aims to develop a full-stack approach to quantum error suppression , integrating methods across multiple layers of the quantum computing stack. Relevant research areas include quantum error correction , quantum error mitigation , and quantu...

Research Associate in Quantum Computation at Imperial College London is a postdoctoral opportunity in the Department of Computing with Dr Zhenyu Cai’s research group. The project focuses on quantum computation , quantum error correction , and quantum error mitigation , with an emphasis on a full-stack approach to suppressing errors in quantum hardware. The research spans hardware-level noise suppression through to practical fault-tolerant quantum computation. This is a 36-month position with a c...

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

Inria is advertising a PhD position in Communication structures in tilings within the Mocqua team at the Centre Inria de l'Université de Lorraine in Villers lès Nancy, France . The project sits at the intersection of mathematics and theoretical computer science , with a strong focus on symbolic dynamics , tilings , combinatorics , topology , and related questions in proofs and verification . The research goal is to define mathematical structures that capture the communication needed between cell...