Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Groningen
- Wageningen University and Research Center
- Utrecht University
- Leiden University
- University of Twente
- Erasmus University Rotterdam
- Radboud University
- CWI
- KNAW
- Delft University of Technology (TU Delft)
- Universiteit van Amsterdam
- University Medical Center Utrecht (UMC Utrecht)
- Wageningen University & Research
- ; Max Planck Institute for Psycholinguistics
- AcademicTransfer
- Eindhoven University of Technology (TU/e)
- Maastricht University (UM)
- NIOZ Royal Netherlands Institute for Sea Research
- Radix Trading LLC
- University of Amsterdam
- University of Twente (UT)
- 11 more »
- « less
-
Field
-
to the full development pipeline: from algorithm design and implementation to clinical integration and evaluation. You will also work on improving prognostic models using (neuro-symbolic) AI and develop
-
of the processing system online. Our approach will be to draw on a broad selection of tools including (deep) reinforcement learning, queuing networks, online algorithms and systems engineering. In addition, a large
-
master’s degree or equivalent in computer science, data science, AI, computational social science, or a related field. You have a keen interest in algorithms, ML, and AI, well-developed skill set in
-
Science, Information Science, Data Science and Artificial Intelligence. We employ over 200 people in four divisions: Artificial Intelligence & Data Science, Algorithms, Interaction, and Software. The atmosphere is collegial and
-
environment of the aQa (applied quantum algorithms) group, which is a team of faculty, postdoctoral researchers, and students across the Leiden Institute of Physics (LION), the Leiden Institute for Advanced
-
-mentioned experiments) how the algorithms are constrained. They can be constrained by either compute power or memory bandwidth. This information can be used to calculate the theoretical maximum energy
-
. They can be constrained by either compute power or memory bandwidth. This information can be used to calculate the theoretical maximum energy efficiency of an algorithm that is run on an architecture
-
field; Affinity with formal methods, including an understanding of basic of automata theory, formal languages, algorithms, and computability --- i.e., foundational computer science theory. Candidates with
-
-class expertise from eight Dutch Universities, five Research Institutes and relevant societal stakeholders that play a major role in research and management of the North Sea. The six-year program (2025
-
-proof. You will contribute to the CYCLIC project : Cyclic Structures in Programs and Proofs , a collaboration among five Dutch universities, uniting experts in cyclic structures, coinduction, program