Sort by
Refine Your Search
-
of the software and its configurations. This project will investigate novel techniques for the application of formal methods to the design, verification, and validation of embedded systems, with particular emphasis
-
Researcher (R1) Positions PhD Positions Application Deadline 25 Aug 2026 - 12:00 (Europe/Rome) Country Italy Type of Contract Temporary Job Status Full-time Hours Per Week 40 Offer Starting Date 1 Oct 2026 Is
Searches related to software verification phd
Enter an email to receive alerts for software-verification-phd positions