Find jobs in AI/ML, Data Science and Big Data
3 results
for Model Checking
(Skill/Tech stack)
-
Applied Scientist, Agentic Automated Reasoning GBP 100K-180KArtificial Intelligence | Assembly | Automated Test | Automated Test Generation | Cloud ComputingMid-level Full TimeLondon, England, GBR6d ago
-
Applied Scientist, Agentic Automated Reasoning GBP 97K-125KAutomated Test | Automated Test Generation | C++ | Formal verification | Generative AISenior-level Full TimeLondon, England, GBR6d 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