Find jobs in AI/ML, Data Science and Big Data
2 results
for Abstract interpretation
(Skill/Tech stack)
-
Abstract interpretation | Application Security | Automated Reasoning | Compositional heap analysis | Coq401k matching | Flexible work hours | Paid time off | Parental leaveSenior-level Full TimeNew York, New York, USA2d ago
-
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, USA1mo ago