Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
Apply now The Faculty of Science, Leiden Institute of Advanced Computer Science, is looking for candidates for a: PhD in Formal Methods for Quantum Compilation (1.0 FTE) We are looking
-
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
-
of DNA, from granular matter to quantum nanoscience. The Faculty of Science is an excellent faculty where staff and students work together in a dynamic international environment. Personal and academic
-
LION: from cosmology to mechanics of DNA, from granular matter to quantum nanoscience. The Faculty of Science is an excellent faculty where staff and students work together in a dynamic international