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
-
systems has been an object of intensive research. While verification support for these languages does exist, it is limited in either the guarantees it can provide or in its level of automation. Lifting
-
The advent of automated production in nanomedicine opens transformative opportunities for advancing healthcare innovation. By enabling high-throughput synthesis, precise control over nanoparticle
-
PIXEurope Pilot Line, which brings together InP PIC technology, silicon photonics, test automation and packaging within one technology agnostic design flow with Europe's leading research organisations. Link
-
for Europe PIXEurope Pilot Line, which brings together InP PIC technology, silicon photonics, test automation and packaging within one technology agnostic design flow with Europe's leading research
-
either the guarantees it can provide or in its level of automation. Lifting this limitation is a clear goal, with a potential target language being TLA+. - The advent of smart contracts, programs deployed
-
automation. Lifting this limitation is a clear goal, with a potential target language being TLA+. The advent of smart contracts, programs deployed on blockchain platforms, promises to significantly change how