Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Groningen
- Leiden University
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); Eindhoven
- Leiden University; Leiden
- Radboud University
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); Amsterdam
- University of Twente
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- University of Twente (UT)
- University of Twente (UT); Enschede
- Utrecht University
- Erasmus University Rotterdam
- Maastricht University (UM)
- Maastricht University (UM); today published
- Radboud University Medical Center (Radboudumc); Nijmegen
- University of Groningen; Groningen
- University of Groningen; yesterday published
- Utrecht University; Utrecht
- Vrije Universiteit Amsterdam (VU)
- Wageningen University & Research
- 13 more »
- « less
-
Field
-
, quantum networks are slowly becoming a reality. The coordination algorithms that govern their operation are unlike those employed in classical networks, necessitating novel verification approaches. The goal
-
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
-
language. - While our current digital infrastructure relies on classical networks, quantum networks are slowly becoming a reality. The coordination algorithms that govern their operation are unlike those
-
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
-
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
-
., 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
-
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
-
4 Sep 2025 Job Information Organisation/Company Eindhoven University of Technology (TU/e) Research Field Computer science Mathematics » Algorithms Mathematics » Statistics Researcher Profile First