Sort by
Refine Your Search
-
Listed
-
Category
-
Employer
- Delft University of Technology (TU Delft)
- Eindhoven University of Technology (TU/e)
- Delft University of Technology (TU Delft); yesterday published
- Leiden University
- University of Amsterdam (UvA)
- University of Groningen
- Erasmus University Rotterdam
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- Eindhoven University of Technology (TU/e); Eindhoven
- Maastricht University (UM)
- University of Amsterdam (UvA); Amsterdam
- University of Amsterdam (UvA); Published today
- Vrije Universiteit Amsterdam (VU)
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); Published yesterday
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); 4 Oct ’25 published
- Eindhoven University of Technology (TU/e); Published today
- Eindhoven University of Technology (TU/e); Published yesterday
- Eindhoven University of Technology (TU/e); today published
- Eindhoven University of Technology (TU/e); yesterday published
- Leiden University; Leiden
- Maastricht University (UM); 27 Sep ’25 published
- Radboud University
- University Medical Center Utrecht (UMC Utrecht)
- University of Groningen; Groningen
- University of Groningen; 26 Sep ’25 published
- University of Twente
- University of Twente (UT)
- Utrecht University
- Utrecht University; Utrecht
- 21 more »
- « less
-
Field
-
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
-
through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description This PhD project aims to develop a
-
partners: ASML and DCODIS (a start-up). This is technically challenging applied research with as main outcome a proof-of-concept tool that allows developers to quickly find and fix software errors including
-
tool that allows developers to quickly find and fix software errors including security vulnerabilities. You will innovate the Find2Fix pipeline by making the different steps, including found issues and
-
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
-
, 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
-
limitations. The field of interpretable machine learning aims to fill this gap by developing interpretable models and algorithms for learning from data. Meanwhile, the field of knowledge discovery and data
-
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
-
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
-
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