Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- Leiden University
- University of Amsterdam (UvA)
- University of Groningen
- Erasmus University Rotterdam
- University of Twente (UT)
- Vrije Universiteit Amsterdam (VU)
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- Delft University of Technology (TU Delft); yesterday published
- Eindhoven University of Technology (TU/e); Published yesterday
- Leiden University; Leiden
- Maastricht University (UM)
- Radboud University
- University Medical Center Utrecht (UMC Utrecht)
- University of Twente
- 6 more »
- « less
-
Field
-
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
-
oriented towards the development of a domain-specific design automation framework for cryptographic hardware. Your work will focus on identifying the mathematical knowledge and properties to guide hardware
-
millions of US Dollars. Ensuring that contracts cannot be exploited is critical. The goal is to develop a language-agnostic verification approach, following on promising results related to the Solidity
-
, and Máxima Medisch Centrum focused on the development and implementation of analytical assays and decision support algorithms in clinical practice. Additionally, the project involves collaborations with
-
for a PhD student to work on Cryptographic Hardware and Design Automation. The project is oriented towards the development of a domain-specific design automation framework for cryptographic hardware. Your
-
are looking for a PhD student to work on Cryptographic Hardware and Design Automation. The project is oriented towards the development of a domain-specific design automation framework for cryptographic hardware
-
exploited is critical. The goal is to develop a language-agnostic verification approach, following on promising results related to the Solidity language. While our current digital infrastructure relies
-
, the researcher will develop theory and algorithms for (hybrid) model selection that allows to exploit domain knowledge through interactive learning. For this we will build on the minimum description length (MDL
-
other. In this project, you will be designing algorithms to guarantee the reliable operation of semiconductor machines, together with a highly innovative industrial partner in the Brainport region. If all
-
model. Developing and coding the appropriate algorithms and methods that implement the novel concepts and model. Gathering experimental or observational data to test hypotheses or highlight the strength