Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- University of Groningen
- Leiden University
- Eindhoven University of Technology (TU/e)
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); Amsterdam
- Delft University of Technology (TU Delft)
- Leiden University; Leiden
- 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 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
- 10 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
-
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
-
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
-
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
-
assays and RNA sequencing in iNeurons. Using advanced techniques such as automated live-cell imaging, electrophysiology and biomarker analyses, effective AONs will be selected. Ultimately, the goal is to
-
to this. This involves the analysis of a large sample of graded, student-written texts from UvA databases. Important steps constitute the development and validation of automated and potentially LLM-based scoring metrics