Find jobs in AI/ML, Data Science and Big Data
2 results
for SMT solvers
(Skill/Tech stack)
-
2026 Fall Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting USD 142K-193KAbstract interpretation | Automated Reasoning | Boolean satisfiability | Bounded model-checking | Deductive verificationComputing Infrastructure | Mentorship | Relocation support | Research papersEntry-level Full Time InternshipSeattle, Washington, USA14d ago
-
Compiler Engineer - Machine Learning Compiler USD 170K-251KBackend Development | C++ | Code generation | Compiler Intermediate Representation | Constraint ProgrammingMid-level Full TimePalo Alto, CA27d ago