Sort by
Refine Your Search
-
Listed
-
Category
-
Program
-
Employer
- European Space Agency
- Eindhoven University of Technology (TU/e)
- University of Groningen
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Eindhoven University of Technology (TU/e); Eindhoven
- Leiden University
- University of Amsterdam (UvA)
- Maastricht University (UM)
- University of Amsterdam (UvA); Amsterdam
- University of Twente (UT)
- University of Twente (UT); Enschede
- Eindhoven University of Technology (TU/e); today published
- Leiden University; Leiden
- Radboud University
- University of Twente
- Wageningen University & Research
- Delft University of Technology (TU Delft); yesterday published
- Maastricht University (UM); Maastricht
- Utrecht University
- Vrije Universiteit Amsterdam (VU)
- CWI
- Delft University of Technology (TU Delft); today published
- Erasmus University Rotterdam
- Maastricht University (UM); 27 Sep ’25 published
- Radboud University Medical Center (Radboudumc); Nijmegen
- The Netherlands Cancer Institute
- The Netherlands Cancer Institute; Amsterdam
- Universiteit Maastricht (UM); 27 Sep ’25 published
- University of Amsterdam (UvA); today published
- University of Groningen; Groningen
- University of Groningen; 26 Sep ’25 published
- Utrecht University; Utrecht
- Wageningen University & Research; Wageningen
- 24 more »
- « less
-
Field
-
ERC project FoRECAST, we aim to develop theory (e.g., new probabilistic and differential inference algorithms as well as proofs of their correctness and efficiency) and systems (e.g., high performance
-
. Your work may involve formulating new models, analysing structural properties, and developing innovative algorithms with both theoretical rigor and practical relevance.
-
developing intelligent algorithms that can support repair and remanufacturing decisions for sustainable manufacturing? As a PhD researcher, you will create innovative machine learning solutions to optimize
-
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
-
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
-
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
-
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
-
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
-
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