Sort by
Refine Your Search
-
specific focus on symbolic model checking methods using satisfiability and satisfiability modulo theories solvers as symbolic reasoning engines. Importantly, in addition to researching novel theoretical
Searches related to proof checking postdoc computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions