Sort by
Refine Your Search
-
Category
-
Employer
- Delft University of Technology (TU Delft); yesterday published
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- University of Groningen
- University of Amsterdam (UvA)
- Eindhoven University of Technology (TU/e); Eindhoven
- Leiden University
- Radboud University
- Eindhoven University of Technology (TU/e); 4 Oct ’25 published
- Eindhoven University of Technology (TU/e); today published
- Leiden University; Leiden
- Maastricht University (UM)
- Maastricht University (UM); 27 Sep ’25 published
- University of Groningen; Groningen
- University of Groningen; 26 Sep ’25 published
- Vrije Universiteit Amsterdam (VU)
- 6 more »
- « less
-
Field
-
on classical networks, quantum networks are slowly becoming a reality. The coordination algorithms that govern their operation are unlike those employed in classical networks, necessitating novel verification
-
optimizations tailored to different environments. The optimizations range from algebraic optimizations (e.g., term rewriting) to algorithmic optimizations (e.g., group level algorithms), and to hardware
-
, and Máxima Medisch Centrum focused on the development and implementation of analytical assays and decision support algorithms in clinical practice. Additionally, the project involves collaborations with
-
., term rewriting) to algorithmic optimizations (e.g., group level algorithms), and to hardware optimizations (e.g., automated pipelining). The PhD student will be supervised by Nusa Zidaric. Key
-
., term rewriting) to algorithmic optimizations (e.g., group level algorithms), and to hardware optimizations (e.g., automated pipelining). The PhD student will be supervised by Nusa Zidaric. Key
-
other. In this project, you will be designing algorithms to guarantee the reliable operation of semiconductor machines, together with a highly innovative industrial partner in the Brainport region. If all
-
geometry can be reconstructed mathematically (this is called inverse scattering). This requires both sophisticated mathematical models and efficiently implemented algorithms. In the case of wafer metrology
-
mathematical methods, algorithms, and applications are required. Simulators are a recognized method for architectural design explorations and the implementation of software development platforms. The goal
-
transportation systems may include a fleet autonomous cars, vans, and buses. This PhD position within FlexMobility will focus on the underlaying assignment and routing algorithms for real-time operation of
-
within FlexMobility will focus on the underlaying assignment and routing algorithms for real-time operation of the vehicle fleet and the multi-objective design of the mixed transporation network. Our key