Sort by
Refine Your Search
-
Listed
-
Employer
- Leiden University
- University of Groningen
- Utrecht University
- Leiden University; Leiden
- CWI
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Maastricht University (UM)
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); Amsterdam
- University of Twente (UT)
- Wageningen University & Research
- Erasmus MC (University Medical Center Rotterdam)
- Maastricht University (UM); Maastricht
- Radboud University
- Universiteit van Amsterdam
- University of Amsterdam
- University of Twente
- Utrecht University; Utrecht
- Wageningen University and Research Center
- 10 more »
- « less
-
Field
-
an estimated starting date; A transcript of BSc and MSc grades; A sample of a mathematical proof you have written, for example for a course or in a thesis; If available: a thesis or project report that
-
: Completed (or in the process of completion) a relevant MSc degree in computer science, systems and control, engineering, applied mathematics, or a related field. A strong background or interest in formal
-
implementations of these new techniques (e.g., by leveraging data-parallel functional array programming techniques); giving mathematical proofs of their correctness and efficiency, as well as robust evaluations
-
: Completed (or in the process of completion) a relevant MSc degree in computer science, systems and control, engineering, applied mathematics, or a related field. A strong background or interest in formal
-
; building state-of-the-art implementations of these new techniques (e.g., by leveraging data-parallel functional array programming techniques); giving mathematical proofs of their correctness and efficiency
-
techniques); giving mathematical proofs of their correctness and efficiency, as well as robust evaluations of their performance; applying them to solve real-world problems (e.g., gradient estimation challenges
-
the area of Actuarial Sciences, Econometrics, Mathematical Economics and Game Theory, and Operations Research. Members of the department teach in the BSc and MSc programme in Econometrics & Operations
-
environments. The project will build on an interdisciplinary approach, combining concepts and methods from physics, chemistry, and mathematical modelling. The long-term goal is to derive design principles
-
interpretable machine learning in health care; Publish and present scientific articles at top journals and conferences; Contribute to educational activities; Write a dissertation. Selection Criteria A MSc degree
-
Faber and others. Using this we will develop a new simplicial type theory. Your profile MSc degree (or equivalent) in a relevant discipline, such as Mathematics, Logic, or Theoretical Computer Science