176 proof-checking-postdoc-computer-science-logic PhD positions in computer-science in Netherlands
Sort by
Refine Your Search
-
Category
-
Employer
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- Utrecht University
- Wageningen University & Research
- Leiden University
- Tilburg University
- Delft University of Technology
- Erasmus MC (University Medical Center Rotterdam)
- Erasmus University Rotterdam (EUR)
- Radboud University
- University Medical Center Groningen
- University of Amsterdam (UvA)
- University of Groningen
- University of Twente (UT)
- Vrije Universiteit Amsterdam (VU)
- 6 more »
- « less
-
Field
-
and advanced manufacturing, Brainport is a place where technology serves people and society. Learn more about the Brainport region here . The mission of the Department of Electrical Engineering is to
-
5 Sep 2026 Job Information Organisation/Company Tilburg University Research Field Computer science » Computer hardware Computer science » Programming Engineering » Electrical engineering Engineering
-
researcher. The Veldhorst group is a pioneer in quantum computing and simulation in germanium. They have demonstrated the first single-hole qubit, enabled two qubit logic in germanium, executed quantum
-
The Cognitive Science & Artificial Intelligence Research Center at Tilburg University hosts the Secure Hardware Intelligence Extraction and Logic Deconstruction (SHIELD) research project, a
-
interconnects for next-generation AI compute clusters. Information The smart optical networks lab (SONL) at the Electro-Optics Communication (ECO) group at Eindhoven University of Technology is recruiting for a
-
15 Aug 2026 Job Information Organisation/Company Leiden University Research Field Computer science » Informatics Computer science » Programming Engineering » Computer engineering Engineering
-
integrated switches for low latency and highly scalable AI compute clusters. The electro-optical communications (ECO) group in the Faculty of Electrical Engineering at TU/e is a globally recognised, leading
-
the Leiden Institute of Advanced Computer Science (LIACS). As a team, we develop cutting-edge techniques for advanced computational imaging systems, combining expertise from Mathematics (Inverse Problems
-
to come.” Portretfoto Inti Brazil Read Inti's storyClose this story Does this sound like you? You have an MSc degree in computer science, data science, AI, applied mathematics, or a related discipline. You have
-
Are you a MSc graduate with background in data science, computer science, biostatistics, bioinformatics or a related field? Do you have a solid foundation in machine learning? Are you passionate