Find jobs in AI/ML, Data Science and Big Data
3 results
for Automated Reasoning
(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, USA1d ago
-
Automated Reasoning | Computer Vision | Language Processing | Machine Learning | Natural LanguageHousing assistance | Relocation assistanceEntry-level Full Time InternshipVancouver, British Columbia, CAN1d 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 States1mo ago