Sort by
Refine Your Search
-
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
-
Reasoning. Reasoning engines, like SAT solvers and model counters can be used as oracles in computationally demanding tasks such as quantum circuit compilation. Moreover, quantum algorithms have yet to be
-
the development of novel chemical entities in a multi-disciplinary team at the intersect of academia and industry. You will supervise PhD, MSc and BSc students and train and support them in computational drug
-
intelligence. There is also the opportunity for the candidate to participate in (limited) BSc, MSc, and PhD student (co-)supervision. Additionally, there are plenty of opportunities for other types
-
learning, and artificial intelligence. There is also the opportunity for the candidate to participate in (limited) BSc, MSc, and PhD student (co-)supervision. Additionally, there are plenty of opportunities