3 software-verification PhD scholarships in Netherlands

PhD Position Formal Methods for Software Engineering with Trust

Delft University of Technology (TU Delft); today published | Netherlands | 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 Positions in Automatic AMS Test Generation for Advanced Automotive ICs

Delft University of Technology (TU Delft) | Netherlands | about 1 month 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 in Quantum Compilation

University of Amsterdam (UvA) | Netherlands | about 2 months 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