Find jobs in AI/ML, Data Science and Big Data
3 results
for Formal verification
(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
-
Design verification | Digital design | Digital design verification | Formal verification | Simulation toolsCollaborative culture | Remote workSenior-level Full TimeMunich, Germany12d ago