17 formal-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
-
field; Affinity with formal methods, including an understanding of basic of automata theory, formal languages, algorithms, and computability --- i.e., foundational computer science theory. Candidates with
-
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
-
Apply now The Mathematical Institute (MI) of Leiden University and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a PhD Candidate in Random Graphs and Complex Networks
-
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
-
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