Sort by
Refine Your Search
-
Listed
-
Employer
- Leiden University
- University of Groningen
- Eindhoven University of Technology (TU/e)
- Eindhoven University of Technology (TU/e); Eindhoven
- Leiden University; Leiden
- Radboud University
- University of Amsterdam (UvA)
- University of Amsterdam (UvA); Amsterdam
- University of Twente
- Delft University of Technology (TU Delft)
- Delft University of Technology (TU Delft); Delft
- Maastricht University (UM)
- University of Twente (UT)
- University of Twente (UT); Enschede
- Utrecht University
- Delft University of Technology (TU Delft); today published
- Erasmus University Rotterdam
- Maastricht University (UM); 27 Sep ’25 published
- Radboud University Medical Center (Radboudumc); Nijmegen
- University of Groningen; 26 Sep ’25 published
- Utrecht University; Utrecht
- Vrije Universiteit Amsterdam (VU)
- Wageningen University & Research
- 13 more »
- « less
-
Field
-
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
-
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
-
4 Sep 2025 Job Information Organisation/Company Eindhoven University of Technology (TU/e) Research Field Computer science Mathematics » Algorithms Mathematics » Statistics Researcher Profile First
-
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
-
trading decisions under high price volatility. This PhD position focuses on designing, developing, and evaluating self-learning energy trading algorithms that are able to cope with these challenges. By
-
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
-
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
-
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
-
transparency and trade secret claims of regulated actors? And explore legal arguments in support of algorithmic transparency and data access for public interest research? How does EU law balance transparency and