Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- University of Groningen
- Erasmus University Rotterdam
- University of Twente
- European Space Agency
- Utrecht University
- Wageningen University and Research Center
- Leiden University
- Radboud University
- CWI
- KNAW
- Nature Careers
- Radix Trading LLC
- Universiteit van Amsterdam
- ; Maastricht University
- 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
-
professor, a special professor, 6 associate professors, 5 assistant professors, 5 permanent researchers, 5 lecturers, 8 postdocs, around 60 PhD candidates, and 14 technical/support staff members. The group is
-
and differential inference algorithms as well as proofs of their correctness and efficiency) and systems (e.g., high performance, functional array programming DSLs) to tackle challenging probabilistic
-
of a mathematical proof you have written, for example for a course or in a thesis; • If available: a thesis or project report that demonstrates your academic writing skills; • The name and email
-
MSc programme grade transcripts: They should verify the candidate's educational qualifications and academic performance. 4. Official proof of English proficiency: See full description of the conditions
-
: They should verify the candidate's educational qualifications and academic performance. 5. Official proof of English proficiency: See full description of the conditions and exemptions on the programme page 6
-
include: Conducting innovative research and developing proof-of-concept designs, collaborating with sensor providers and other potential collaborators; Writing multiple research articles, collectively
-
environmental and climate impact. Together with Dutch farmers, ReGeNL is a transdisciplinary program developing a future-proof agricultural sector in which agriculture goes hand in hand with soil health and
-
Duijnhoven , which currently consists of 6 PhD students and 2 postdocs. Within the NWO-project, you will closely collaborate with the postdoc and Principal Investigator (Prof. dr. Riccardo Fodde) at Erasmus MC
-
, you will focus on that. Your job In this PhD project, you will be part of a large consortium of six PhD candidates and three postdocs. Together, we aim to understand the working of storm surge barriers