Find jobs in AI/ML, Data Science and Big Data
2 results
for SMT solvers
(Skill/Tech stack)
-
Compiler Engineer - Machine Learning Compiler USD 170K-251KBackend Development | C++ | Code generation | Compiler Intermediate Representation | Constraint ProgrammingMid-level Full TimePalo Alto, CA1d 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 States24d ago