Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Delft University of Technology (TU Delft)
- University of Groningen
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e)
- University of Amsterdam (UvA)
- Leiden University
- Eindhoven University of Technology (TU/e); Eindhoven
- University of Amsterdam (UvA); Amsterdam
- Utrecht University
- Erasmus University Rotterdam
- Leiden University; Leiden
- Leiden University; yesterday published
- Royal Netherlands Academy of Arts and Sciences (KNAW)
- University of Groningen; Groningen
- University of Twente (UT)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- KNAW
- Maastricht University (UM)
- Radboud University
- Radboud University Medical Center (Radboudumc); Nijmegen
- University of Twente
- University of Twente (UT); Enschede
- Wageningen University & Research
- Amsterdam UMC
- Amsterdam UMC; Amsterdam
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); 4 Oct ’25 published
- Eindhoven University of Technology (TU/e); Published yesterday
- Eindhoven University of Technology (TU/e); today published
- Eindhoven University of Technology (TU/e); yesterday published
- Erasmus MC (University Medical Center Rotterdam)
- Erasmus MC (University Medical Center Rotterdam); Rotterdam
- Maastricht University (UM); 27 Sep ’25 published
- Nature Careers
- Radboud University Medical Center (Radboudumc)
- Royal Netherlands Academy of Arts and Sciences (KNAW); Utrecht
- Royal Netherlands Academy of Arts and Sciences (KNAW); yesterday published
- University of Amsterdam (UvA); Published today
- University of Groningen; 26 Sep ’25 published
- Utrecht University; Utrecht
- Vrije Universiteit Amsterdam (VU)
- Wageningen University & Research; today published
- 33 more »
- « less
-
Field
-
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
-
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
-
transparency and trade secret claims of regulated actors? And explore legal arguments in support of algorithmic transparency and data access for public interest research? How does EU law balance transparency and
-
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
-
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
-
) to specify use cases from the perspective of the relevant domains as well as model transformation, analysis, and synthesis algorithms that provide functionally correct system configurations with a guaranteed
-
., 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