Sort by
Refine Your Search
-
. student will be part of the Cosynus team in the “Proofs and Algorithms” pole. The members of the Cosynus team work on the semantics and static analysis of software systems, sequential, concurrent
Searches related to software verification
Enter an email to receive alerts for software-verification positions