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 Groningen
- Eindhoven University of Technology (TU/e); Eindhoven
- University of Amsterdam (UvA)
- 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
- Eindhoven University of Technology (TU/e); 4 Oct ’25 published
- Eindhoven University of Technology (TU/e); today published
- Maastricht University (UM); 27 Sep ’25 published
- Radboud University Medical Center (Radboudumc); Nijmegen
- University of Groningen; 26 Sep ’25 published
- University of Twente
- Utrecht University
- Utrecht University; Utrecht
- Vrije Universiteit Amsterdam (VU)
- Wageningen University & Research
- 14 more »
- « less
-
Field
-
fault-tolerance. Due to the critical nature of many distributed systems, their correctness is of crucial importance. The verification of distributed systems, however, is notoriously difficult. This PhD
-
. The verification of distributed systems, however, is notoriously difficult. This PhD research is envisioned to broadly follow one of three directions, but can be adapted to suit the interests of an excellent
-
biomarker assays using state-of-the-art mass spectrometry? Join us as a PhD candidate and contribute to clinically relevant innovation. Information Protein tumor markers (TMs) in blood offer a promising
-
) are looking for a: PhD candidate, Cryptographic Hardware and Design Automation Project description We are looking for a PhD student to work on Cryptographic Hardware and Design Automation. The project is
-
diverse team of PhD candidates who will focus on three key areas: Probabilistic and differentiable algorithms for machine learning; Programming language implementation for high performance computing
-
difficult. This PhD research is envisioned to broadly follow one of three directions, but can be adapted to suit the interests of an excellent applicant. The use of formal languages to specify and reason
-
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
-
other. In this project, you will be designing algorithms to guarantee the reliable operation of semiconductor machines, together with a highly innovative industrial partner in the Brainport region. If all
-
., 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