Find jobs in AI/ML, Data Science and Big Data
2 results
for Model Checking
(Skill/Tech stack)
PRO
-
Principal Applied Scientist, Automated Reasoning USD 198K-269KAlgorithm Design | Automated Reasoning | Formal verification | Model Checking | Program analysisSenior-level Full TimeSeattle, Washington, USA2d ago
-
Applied Scientist - Automated Reasoning USD 200K-250KAutomated Reasoning | Cryptol | Formal Methods | Formal verification | KaniImpactful work | Opportunities for growth | Professional development | Team collaborationSenior-level Full TimeArlington, VA, United States4d ago