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
-
our team you will develop state of the art methods in structure based drug discovery. You will apply these approaches in real drug discovery projects, aimed at the identification of novel chemical
-
for other types of interaction and collaboration within the project, for example with colleagues from the Department of Geoscience & Remote Sensing at Delft University of Technology (TU Delft), and the
-
of interaction and collaboration within the project, for example with colleagues from the Department of Geoscience & Remote Sensing at Delft University of Technology (TU Delft), and the Faculty of Archaeology