Sort by
Refine Your Search
-
Listed
-
Employer
- University of Groningen
- Utrecht University
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- University of Amsterdam (UvA)
- University of Twente
- Radboud University
- University of Twente (UT)
- Leiden University
- Wageningen University & Research
- Eindhoven University of Technology
- Radboud University Medical Center (Radboudumc)
- AMOLF
- KNAW
- AcademicTransfer
- Advanced Research Center for Nanolithography ARCNL
- Amsterdam UMC
- Erasmus MC (University Medical Center Rotterdam)
- Maastricht University (UM)
- Rijksinstituut voor Volksgezondheid en Milieu (RIVM)
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- Vrije Universiteit Amsterdam (VU)
- Wageningen University and Research Center
- Wetsus
- 14 more »
- « less
-
Field
-
component-level specifications to system-level specifications. This PhD position will focus on the use of contracts for verification, i.e., aimed at guaranteeing system-level properties on the basis
-
equipped with a theory of compositional analysis that allows for translating component-level specifications to system-level specifications. This PhD position will focus on the use of contracts
-
capable of expressing rich specifications; and ii) come equipped with a theory of compositional analysis that allows for translating component-level specifications to system-level specifications. This PhD
-
project, you will be part of a large consortium (6 PhD candidates and 3 postdocs) in the SBB-Delta project external link that will advise the Dutch government on the future of the Oosterschelde and Maeslant
-
support staff and about 20 Postdocs and 30 PhD candidates. The Ice and Climate group at IMAU is an inspiring, high-quality and versatile research group focusing on ice sheets, sea level, and climate
-
Intelligence Centre external link , you'll join a large group of PhD candidates and Postdocs working on related topics. On a daily basis you will join the several PhD candidates and Postdocs that are based
-
Catalysis (HomKat) group is looking for a talented PhD student. The student, together with 4 other PhD's and 2 postdoc's, will perform their research in the laboratory of the HOMKAT group in collaboration
-
including Format Preserving Encryption (FPE), Multi-Party Computation (MPC), Homomorphic Encryption (HE), and Zero-Knowledge (ZK). These applications are usually defined over prime finite fields, and more
-
packages in the Adapt! programme, working effectively with principal investigators, PhD candidates, and postdocs on complex, interdisciplinary projects; expertise in crises related to radicalisation
-
packages in the Adapt! programme, working effectively with principal investigators, PhD candidates, and postdocs on complex, interdisciplinary projects; expertise in crises related to radicalisation