17 software-verification-computer-science PhD positions at Leiden University in Netherlands
Sort by
Refine Your Search
-
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a: PhD Candidate, Secure Computation Technologies and Applications to Machine Learning
-
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for: PhD Candidate, Reinforcement Learning for Sustainable Energy This position is embedded
-
Apply now The Faculty of Science and Leiden Institute of Advanced Computer Science (LIACS) are looking for candidates for a: PhD in Deep learning for Electron Microscopy pipelines (1.0 fte) As a PhD
-
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
-
, information science, astronomy, physics, chemistry and bio-pharmaceutical sciences to biology and environmental sciences. The research activities are organized in eight institutes. These institutes offer eight
-
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) is looking for a: PhD Candidate on Expressivity of Imperative Programs (1.0 FTE) The semantics
-
development and regeneration (1.0 FTE) Description of the project The opening is for a research position within the field of mathematical or theoretical biology, computational physics, applied mathematics
-
societal challenges of the future. The research carried out at the Faculty of Science is very diverse, ranging from mathematics, information science, astronomy, physics, chemistry and bio-pharmaceutical
-
. The research carried out at the Faculty of Science is very diverse, ranging from mathematics, information science, astronomy, physics, chemistry and bio-pharmaceutical sciences to biology and environmental
-
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a: PhD Candidate in AI for Network Analysis (1.0 FTE, 4 years) About this position