Sort by
Refine Your Search
-
Listed
-
Employer
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- University of Amsterdam (UvA)
- Delft University of Technology (TU Delft); yesterday published
- Leiden University
- Erasmus University Rotterdam
- University of Amsterdam (UvA); Published today
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- Eindhoven University of Technology (TU/e); Eindhoven
- Maastricht University (UM)
- University of Amsterdam (UvA); Amsterdam
- University of Groningen
- Vrije Universiteit Amsterdam (VU)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); Published yesterday
- 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 today
- Eindhoven University of Technology (TU/e); Published yesterday
- Eindhoven University of Technology (TU/e); today published
- Eindhoven University of Technology (TU/e); yesterday published
- Leiden University; Leiden
- Maastricht University (UM); 27 Sep ’25 published
- Radboud University
- University Medical Center Utrecht (UMC Utrecht)
- University of Groningen; 26 Sep ’25 published
- University of Twente
- University of Twente (UT)
- Utrecht University
- Utrecht University; Utrecht
- 20 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
-
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
-
through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description This PhD project aims to develop a
-
system evolution? We are offering six PhDs positions across the department of Mechanical Engineering, Electrical Engineering and Mathematics and Computer Science that focus on solving cutting-edge design
-
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
-
this PhD project, you will investigate the co-design between event-based learning algorithms and neuronal hardware units with multi-scale time constants. The algorithmic methodology will exploit recent
-
. 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
-
) 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
-
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
-
., 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