Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
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
-
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a: Postdoc Automated Reasoning in Quantum Computing (0.8-1.0 FTE) The Faculty
-
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
-
(UTC) Type of Contract Temporary Job Status Not Applicable Hours Per Week 38.0 Is the job funded through the EU Research Framework Programme? Not funded by an EU programme Is the Job related to staff
-
Deadline 6 May 2024 - 21:59 (UTC) Type of Contract Temporary Job Status Not Applicable Is the job funded through the EU Research Framework Programme? Not funded by an EU programme Is the Job related to staff