Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
-
Field
-
Apply now This PhD position is on logical modelling of accountability and responsibility of agents. It is part of the ELSA (Ethical, Legal, & Societal Aspects of AI) lab on Legal, Regulatory, and Policy
-
the model plant, Arabidopsis thaliana. The PhD candidate will employ molecular biology tools to follow circadian gene expression in Bacillus subtilis as it colonizes the plant root. This work will be carried
-
of programming languages are often modeled as abstract machines that evolve through interaction with their environment, raising the question of whether every machine behavior can be captured by a program in a
-
consortium comes in. PRELIFE unites experts across a wide range of disciplines from astronomy, biology, chemistry, computer science, earth and planetary sciences, education, mathematics, to physics. Together
-
of coalgebraic session types, which model the behaviour of communication channels. Building on this, you will develop a formal notion of causality by connecting behavioural maps of extended coalgebraic sessions
-
Computer Science (LIACS), the Leiden Institute for Chemistry (LIC), and the Leiden Mathematical Institute (MI) at the Leiden University. Key responsibilities Conducting research on applications of (interpretable
-
to commence at the earliest possible date and no later than September 2025. The project focuses on establishing rigorous mathematical results for random (geometric) graphs, as well as on modeling realistic real
-
PhD position - Modelling the emergence of information transfer in prebiotic self-replicating systems
consortium comes in. PRELIFE unites experts across a wide range of disciplines from astronomy, biology, chemistry, computer science, earth and planetary sciences, education, mathematics, to physics. Together
-
), we aim to close this gap, by developing AI models and tools for tabular data, to help organizations, of any size, domain, and level of data literacy, get insights from structured data, efficiently
-
), sustainable, and climate-adaptive crops. By combining plant biology, simulation modelling, and artificial intelligence we aim to develop smart breeding and cultivation methods. Thus, we try to speed up