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
- 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 (UT)
- 5 more »
- « less
-
Field
-
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
-
fascinated by electromagnetic modeling and numerical problem solving? Do you want to contribute to the development of state-of-the-art metrology for integrated-circuit production? Information Integrated
-
, 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
-
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