Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
; Selection Criteria Master degree in mathematics, computer science or a closely related field; Strong interest and demonstratable expertise in formal methods and/or quantum computing; Affinity with the 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
-
component of the disease, involving both innate immunity (e.g. macrophages, mast cells) as well as adaptive immunity (T- and B cells). Using state-of-the-art technology such as single-cell RNA sequencing and
-
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