Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); yesterday published
- University of Groningen
- University of Amsterdam (UvA)
- Erasmus University Rotterdam
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- Eindhoven University of Technology (TU/e)
- Leiden University
- University of Amsterdam (UvA); Amsterdam
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); Eindhoven
- Eindhoven University of Technology (TU/e); 4 Oct ’25 published
- Eindhoven University of Technology (TU/e); yesterday published
- Leiden University; Leiden
- Radboud University
- Radboud University Medical Center (Radboudumc); Nijmegen
- University of Groningen; Groningen
- University of Groningen; 26 Sep ’25 published
- Wageningen University & Research
- 10 more »
- « less
-
Field
-
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
-
engineering starts from use cases (typical and exceptional) and various system scenarios (different operating modes, failures). This will require the development of suitable domain-specific languages (DSLs
-
coding the appropriate algorithms and methods that implement the novel concepts and model. Gathering experimental or observational data to test hypotheses or highlight the strength and boundaries
-
accurate, well-characterized methods that serve as traceable standards for biomarker quantification, enabling reliable and reproducible measurements across different assays. In this PhD project, you will
-
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
-
Learning Centre; A complete educational program for PhD students; Multiple courses on topics such as time management, handling stress and an online learning platform with 100+ different courses; 7 weeks
-
security vulnerabilities. You will innovate the Find2Fix pipeline by making the different steps, including found issues and suggested patches, easier to understand using interpretable AI using state machine
-
tool that allows developers to quickly find and fix software errors including security vulnerabilities. You will innovate the Find2Fix pipeline by making the different steps, including found issues and
-
local heat solutions for PEDs. The EmPowerED project involves in total 11 PhD positions at several universities, focusing on different aspects of positive energy districts. The project also involves a