PhD in Mathematics

We are looking for individuals with an excellent academic record interested in exploring the limits of quantum computation using automated reasoning. Research topics include tackling conjectures and open problems in quantum information theory using satisfiability solvers, finding better error correction protocols using combinatorial reasoning, processing quantum information using knowledge compilation approaches, and exploring the potential of satisfiability for problems that are 'quantum' NP-hard (QMA-hard)./nLocation: Leiden, Faculty of Science, Leiden Institute of Advanced Computer Science (LIACS). QuSoft (collaboration between the University of Amsterdam and CWI) is mentioned as a related research hub.