Sort by
Refine Your Search
-
Employer
-
Field
-
. The postdoctoral fellow will conduct research on Algorithmic Verification of Concurrent Systems within the Programming Languages, Logic, and Software Security Research Group at Aarhus University. The focus
-
, where the system is fully integrated, has undergone comprehensive qualification testing, and has received formal certification from DNV. The successful candidate will lead tasks related to load and
Searches related to formal verification
Enter an email to receive alerts for formal-verification positions