Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Groningen
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- Delft University of Technology (TU Delft); yesterday published
- Leiden University
- 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; Groningen
- University of Groningen; 26 Sep ’25 published
- University of Twente
- Utrecht University
- Utrecht University; Utrecht
- Vrije Universiteit Amsterdam (VU)
- Wageningen University & Research
- 15 more »
- « less
-
Field
-
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
-
) 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
-
, employees, IT infrastructure, specialized training). Second, they may require the use of quantitative models, data analysis, and algorithms, but these applications must also safeguard the data privacy and non
-
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
-
., 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
-
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
-
Collider? We look forward to your application! As a PhD candidate, you will conduct fundamental research in experimental particle physics, perform data analysis and develop object reconstruction algorithms
-
require the design of architectures suitable for real-life problems. Moreover, appropriate mathematical methods, algorithms, and applications are required. Simulators are a recognized method for
-
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