30 formal-verification-computer-science PhD positions at Leiden University in Netherlands
Sort by
Refine Your Search
-
at the Leiden Institute of Advanced Computer Science (LIACS), Leiden University. The focus is on explainability for multimodal foundation models, combining information-theoretic approaches (e.g., information
-
the Netherlands, and to acquire skills by active participation in science communication activities, interacting with public audiences and taking part in a pilot programme where experience can be acquired in high
-
from mathematics, information science, astronomy, physics, chemistry and bio-pharmaceutical sciences to biology and environmental sciences. The research activities are organized in eight institutes
-
3 Oct 2025 Job Information Organisation/Company Leiden University Research Field Computer science » Informatics Computer science » Programming Researcher Profile First Stage Researcher (R1) Country
-
geographical locations within the Netherlands, and to acquire skills by active participation in science communication activities, interacting with public audiences and taking part in a pilot programme where
-
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a: PhD Candidate in Emotionally and Socially Aware Natural Language Processing (1.0fte
-
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
-
mathematics, information science, astronomy, physics, chemistry and bio-pharmaceutical sciences to biology and environmental sciences. The research activities are organized in eight institutes. These institutes
-
12 Sep 2025 Job Information Organisation/Company Leiden University Research Field Computer science » Informatics Computer science » Programming Researcher Profile First Stage Researcher (R1) Country
-
24 Oct 2025 Job Information Organisation/Company Leiden University Research Field History » Modern history History » Social history Language sciences » Linguistics Language sciences » Philology