Sort by
Refine Your Search
- 
                Listed
- 
                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
- Eindhoven University of Technology (TU/e); Eindhoven
- Leiden University; Leiden
- University of Amsterdam (UvA); Amsterdam
- Delft University of Technology (TU Delft); Delft
- Delft University of Technology (TU Delft); 17 Oct ’25 published
- Maastricht University (UM)
- Radboud University
- University of Twente (UT)
- University of Twente (UT); Enschede
- Delft University of Technology (TU Delft); today published
- Eindhoven University of Technology (TU/e); 4 Oct ’25 published
- Eindhoven University of Technology (TU/e); today published
- Eindhoven University of Technology (TU/e); yesterday published
- Maastricht University (UM); 27 Sep ’25 published
- Radboud University Medical Center (Radboudumc); Nijmegen
- University of Groningen; 26 Sep ’25 published
- University of Twente
- Utrecht University
- Utrecht University; Utrecht
- Vrije Universiteit Amsterdam (VU)
- Wageningen University & Research
- 17 more »
- « less
 
- 
                Field
- 
                
                
                Join TU Delft and work together with NXP to build low-power AI accelerators for self-healing analog/RF calibration, fixing noise/offset. Co-design algorithms & hardware and validate on real silicon 
- 
                
                
                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 
- 
                
                
                well as to optimize the tooling geometry. These process simulations require efficient numerical algorithms to be practical and to enable robust optimization. Therefore, in this project you will: Develop efficient 
- 
                
                
                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 
- 
                
                
                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 
- 
                
                
                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 
- 
                
                
                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