-
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
-
psychological health and technology. Collaborate with a software engineer to design and refine an interactive emotion recognition and regulation mobile application. Conduct comprehensive data analysis on facial
-
and technology. Collaborate with a software engineer to design and refine an interactive emotion recognition and regulation mobile application. Conduct comprehensive data analysis on facial expressions
-
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
-
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
-
, Cultural Anthropology & Development Sociology and the Centre for Science and Technology Studies. The Faculty is home to 7,000 students and 1000 members of staff. Its teaching and research programmes cover
-
Foundation (NWO) as part of its Open Technology Programme (OTP) aimed at supporting translational research. Project and key responsibilities The primary goal of this postdoctoral project is to create a novel