5 software-verification-phd PhD positions in Netherlands

PhD Positions in Automatic AMS Test Generation for Advanced Automotive ICs

Delft University of Technology (TU Delft) | Netherlands | 28 days ago

verification tools. AMS test diagnostics and fail-log analysis. Your Role as a PhD Candidate You will: Analyze and enhance current automotive IC test flows. Develop new or improved fault models using NXP’s in

PhD Position Formal Methods for Software Engineering with Trust

Delft University of Technology (TU Delft); today published | Netherlands | about 2 months ago

limitations —driven to explore solutions that go beyond what verification alone can achieve. This PhD project focuses on developing analysis and program repair techniques that enhance software interoperability

PhD Position in Quantum Compilation

University of Amsterdam (UvA) | Netherlands | about 1 month ago

Institute and will be working together with researchers from QuSoft . This PhD project aims to push the state-of-the-art in quantum compilation, verification and/or classical simulation. The exact project

PhD Position Find2Fix: Reducing Software Errors Using Transparant AI

Delft University of Technology (TU Delft) | Netherlands | 3 months ago

-analytics.nl ) and CISElab (www.ciselab.nl ) at TU Delft. The project is a close collaboration between the labs at TU Delft, where one more PhD works on this project, and the digital security and software

PhD Position Find2Fix: Reducing Software Errors Using Transparant AI

Delft University of Technology (TU Delft); Delft | Netherlands | 3 months ago

one more PhD works on this project, and the digital security and software science departments at Radboud University, where two additional PhD students will work on the Find2Fix project. Together