Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- European Space Agency
- University of Groningen
- Eindhoven University of Technology (TU/e)
- Leiden University
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Eindhoven University of Technology (TU/e); Eindhoven
- University of Twente
- Maastricht University (UM)
- University of Amsterdam (UvA); Amsterdam
- University of Twente (UT)
- University of Twente (UT); Enschede
- Leiden University; Leiden
- Radboud University
- University of Amsterdam (UvA)
- Wageningen University & Research
- Maastricht University (UM); Maastricht
- Utrecht University
- Vrije Universiteit Amsterdam (VU)
- CWI
- Delft University of Technology (TU Delft); today published
- Erasmus University Rotterdam
- Maastricht University (UM); 27 Sep ’25 published
- Radboud University Medical Center (Radboudumc); Nijmegen
- The Netherlands Cancer Institute
- The Netherlands Cancer Institute; Amsterdam
- Universiteit Maastricht (UM); 27 Sep ’25 published
- University of Groningen; Groningen
- University of Groningen; 26 Sep ’25 published
- Utrecht University; Utrecht
- Wageningen University & Research; Wageningen
- Wageningen University and Research Center
- 22 more »
- « less
-
Field
-
of this project is to develop techniques that will enable gate-based quantum optimization algorithms to tackle realistic (large-scale, mixed-integer, and constrained) instances of stochastic programming problems
-
. The goal is to develop a language-agnostic verification approach, following on promising results related to the Solidity language. - While our current digital infrastructure relies on classical networks
-
work hands-on with clinical data and build robust deep learning algorithms. We welcome applications from individuals with experience in: Experience developing deep learning models for real-time image
-
In this role, you will help develop and implement cutting-edge AI solutions for real-time, image-guided medical applications, with a focus on advanced robotics. You will work directly with clinical
-
ERC project FoRECAST, we aim to develop theory (e.g., new probabilistic and differential inference algorithms as well as proofs of their correctness and efficiency) and systems (e.g., high performance
-
developing intelligent algorithms that can support repair and remanufacturing decisions for sustainable manufacturing? As a PhD researcher, you will create innovative machine learning solutions to optimize
-
. Your work may involve formulating new models, analysing structural properties, and developing innovative algorithms with both theoretical rigor and practical relevance.
-
millions of US Dollars. Ensuring that contracts cannot be exploited is critical. The goal is to develop a language-agnostic verification approach, following on promising results related to the Solidity
-
oriented towards the development of a domain-specific design automation framework for cryptographic hardware. Your work will focus on identifying the mathematical knowledge and properties to guide hardware
-
exploited is critical. The goal is to develop a language-agnostic verification approach, following on promising results related to the Solidity language. While our current digital infrastructure relies