Sort by
Refine Your Search
-
Computer Science, Mathematics, or related areas. • Strong background in at least one of the following: formal methods, SMT solving, abstract interpretation, or model checking. • Experience with verification tools
-
scattering with computer modelling such as molecular dynamics simulations and AI-assisted data mining. The new technical capabilities will help bridge the current gap in biocide development, i.e., to link
Searches related to model checking
Enter an email to receive alerts for model-checking positions