Find jobs in AI/ML, Data Science and Big Data
1 result
for SPIN
(Skill/Tech stack)
PRO
-
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