Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Groningen
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); today published
- Leiden University
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); Amsterdam
- Delft University of Technology (TU Delft)
- Leiden University; Leiden
- Radboud University
- Delft University of Technology (TU Delft); Delft
- Eindhoven University of Technology (TU/e); yesterday published
- Radboud University Medical Center (Radboudumc)
- Radix Trading LLC
- University Medical Center Utrecht (UMC Utrecht)
- University Medical Center Utrecht (UMC Utrecht); Utrecht
- University of Amsterdam (UvA); yesterday published
- University of Groningen; 26 Sep ’25 published
- University of Twente
- University of Twente (UT)
- University of Twente (UT); Enschede
- Utrecht University
- Wageningen University & Research
- Wageningen University and Research Center
- 13 more »
- « less
-
Field
-
) 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
-
The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a: PhD candidate, Cryptographic Hardware and Design Automation Project description We are looking
-
Apply now The Faculty of Science and the Leiden Institute of Advanced Computer Science (LIACS) are looking for a: PhD candidate, Cryptographic Hardware and Design Automation Project description We
-
performed by human experts. The aim of this PhD project is to design innovative monitoring algorithms for complex dynamical systems to automate fault isolation with diagnostics performance guarantees. Current
-
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
-
discrete-event systems. As such, you will be able to discuss your research and brainstorm with your fellow group members. This PhD position is part of the project on ‘Holistic Design Automation
-
. 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
-
of the project on ‘Holistic Design Automation for Semiconductor Manufacturing Equipment’, in which 6 PhD students will be employed at the Eindhoven University of Technology in the department
-
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
-
recent advances in machine learning and browser automation, the project aims to provide tools, techniques and datasets to effectively address these threats. As a PhD candidate, you will play a key role in