Sort by
Refine Your Search
-
Listed
-
Employer
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- Delft University of Technology (TU Delft); yesterday published
- Leiden University
- University of Amsterdam (UvA)
- Eindhoven University of Technology (TU/e); Eindhoven
- University of Groningen
- Erasmus University Rotterdam
- Leiden University; Leiden
- University of Amsterdam (UvA); Amsterdam
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- Maastricht University (UM)
- Radboud University
- University of Twente (UT)
- University of Twente (UT); Enschede
- Utrecht University
- 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
- Maastricht University (UM); 27 Sep ’25 published
- Radboud University Medical Center (Radboudumc); Nijmegen
- University of Amsterdam (UvA); Published today
- University of Groningen; 26 Sep ’25 published
- University of Twente
- Utrecht University; Utrecht
- Vrije Universiteit Amsterdam (VU)
- Wageningen University & Research
- 20 more »
- « less
-
Field
-
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
-
, 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
-
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
-
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
-
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
-
) 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
-
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
-
., 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