Sort by
Refine Your Search
-
Category
-
Program
-
Field
-
- and B cells). Using state-of-the-art technology such as single-cell RNA sequencing and spatial transcriptomics in both human and experimental models of disease, we aim to discover novel pathways and
-
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
-
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
-
, there is a need for metascientific work on the self-correcting ability of psychological science, and the academic transition to a culture that fosters this self-correction through open, collaborative, value
-
efforts where the most value can be gained. In other words, there is a need for metascientific work on the self-correcting ability of psychological science, and the academic transition to a culture that
-
the behaviour of civil servants working in EU institutions. The project aims to explore the role of cultural stereotypes among people involved in the direct implementation of policy (‘multi-level policy
-
verification of software systems. Logic and algebra play pivotal roles in formal methods, which are systematic techniques employed in computer science and software engineering to specify, design, and verify
-
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
-
opportunities than boundaries at LIACS; you will be a member of existing or new research groups and are expected to work well in our culture of cross-group collaboration. Assistant and associate professors teach