-
implementation (Month 22–24), · Hitachi Energy: Benchmarking of magnetic components (Month 30–32), · Danfoss: Experimental model verification (Month 34–35). IMPORTANT: Strong knowledge in
-
the interface between formal verification and automated planning. This is a unique opportunity to contribute to safer, more intelligent systems through a combination of theoretical work and practical
Searches related to software verification
Enter an email to receive alerts for software-verification "Prof" positions