Sort by
Refine Your Search
-
level in at least one of the following directions: mathematics including a good understanding of the foundations of a mathematical domain, programing applicable to the search and verification of proofs
-
Inria, the French national research institute for the digital sciences | Saint Martin, Midi Pyrenees | France | 24 days ago
complex codebase (millions of lines of code, mostly in C) which makes formal verification of its components a significant challenge. Device drivers, in particular, are often developed by third parties
Searches related to verification
Enter an email to receive alerts for verification positions