Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Groningen
- University of Twente
- Utrecht University
- Wageningen University and Research Center
- Radboud University
- Erasmus University Rotterdam
- Leiden University
- KNAW
- AcademicTransfer
- CWI
- Universiteit van Amsterdam
- ; Max Planck Institute for Psycholinguistics
- University of Amsterdam
- Wageningen University & Research
- 4 more »
- « less
-
Field
-
approach is to apply foundational techniques grounded in logic, semantics, and verification. This work takes place within the CYCLIC project: Cyclic Structures in Programs and Proofs, a collaboration among
-
scientists and more than 110 PhD candidates and postdoctoral researchers. We house or have access to a wide variety of world-class laboratories, among which are Utrecht University’s Electron Microscopy Centre
-
systems. These contracts have two desired features: they should i) be capable of expressing rich specifications; and ii) come equipped with a theory of compositional analysis that allows for translating
-
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
-
migration corridors – Portugal-Brazil, Netherlands-Turkey, and UK-India. The team consists of the Principal Investigator (PI), Dr. Dora Sampaio, two PhD candidates, and one postdoctoral researcher. The team
-
migration corridors – Portugal-Brazil, Netherlands-Turkey, and UK-India. The team consists of the Principal Investigator (PI), Dr. Dora Sampaio, two PhD candidates, and one postdoctoral researcher. The team
-
management to save many endangered species from extinction. This project will conduct state-of-the-art multidimensional projection modelling to project the impact of climate change and age structure
-
deployment; - Exposure to statistical arbitrage, portfolio construction, or execution algorithms; - Background in dimensionality reduction and data-driven forecasting techniques. Our offer We offer a temporary
-
for outstanding virologists to Felix Rey. Rey can be considered as one of the most important researchers in his field. Felix Rey is Director of the Structural Virology Unit at the Institut Pasteur in Paris. His
-
curious and collaborative colleague, with the following qualifications: a Master’s degree in mathematics, with a focus on algebraic geometry; a strong interest in discovering new structures in