33 formal-verification-computer-science PhD positions at Leiden University in Netherlands
Sort by
Refine Your Search
-
? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The Faculty of Science Leiden and the Leiden Institute of Chemistry are looking
-
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 sciences
-
by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The Department of Chemical Biology and Immunology (CBI) of the Leiden Institute
-
Mar 2026 - 22:59 (UTC) Type of Contract Temporary Job Status Not Applicable Hours Per Week 38.0 Is the job funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job
-
26 Sep 2025 Job Information Organisation/Company Leiden University Research Field Computer science » Computer hardware Computer science » Digital systems Researcher Profile First Stage Researcher
-
Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The Faculty of Science and the Leiden Academic Centre
-
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 sciences to biology and
-
24 Oct 2025 Job Information Organisation/Company Leiden University Research Field Computer science » Informatics Computer science » Programming Researcher Profile First Stage Researcher (R1) Country
-
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a: PhD candidate, Cryptographic Hardware and Design Automation Project description We
-
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