1 quantum-computing Postdoctoral positions at Leiden University

Postdoc Automated Reasoning in Quantum Computing (0.8-1.0 FTE)

at the crossroad between Quantum Computing and Automated Reasoning. Reasoning engines, like SAT solvers and model counters can be used as oracles in computationally demanding tasks such as quantum circuit