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
-
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
Searches related to chemical engineering
Enter an email to receive alerts for chemical engineering positions