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
- University of Amsterdam (UvA)
- Delft University of Technology (TU Delft)
- Leiden University; Leiden
- Radboud University
- University of Amsterdam (UvA); Amsterdam
- Delft University of Technology (TU Delft); Delft
- Maastricht University (UM)
- University of Twente (UT)
- University of Twente (UT); Enschede
- Utrecht University
- Delft University of Technology (TU Delft); yesterday published
- Erasmus University Rotterdam
- Maastricht University (UM); 27 Sep ’25 published
- Radboud University Medical Center (Radboudumc); Nijmegen
- University of Groningen; Groningen
- University of Groningen; 26 Sep ’25 published
- University of Twente
- Utrecht University; Utrecht
- Vrije Universiteit Amsterdam (VU)
- Wageningen University & Research
- 14 more »
- « less
-
Field
-
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
-
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
-
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
-
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
-
., 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
-
4 Sep 2025 Job Information Organisation/Company Eindhoven University of Technology (TU/e) Research Field Computer science Mathematics » Algorithms Mathematics » Statistics Researcher Profile First
-
., 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
-
our industrial partners. You will work in the cyber analytics and CISE labs in the Algorithmics and Software Engineering Research groups at the Software Technology department under supervision of dr
-
with the rest of the team, you will build demonstators for the Find2Fix technology at our industrial partners. You will work in the cyber analytics and CISE labs in the Algorithmics and Software Engineering