Find jobs in AI/ML, Data Science and Big Data
9 results
for Theorem Proving
(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
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATFlexible work hours | Learning and training resources | Work-life balanceMid-level Full TimeSeattle, Washington, USA27d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-226KApplied Research | Automated Reasoning | Privacy | Program analysis | Programming languageFlexible work hours | Mentoring | Training and career growth | Work-life balanceSenior-level Full TimeBoston, Massachusetts, USA27d ago
-
Sr. Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Privacy | Program analysis | Programming language | Programming language type systemsCareer growth and training | Flexible work hours | MentorshipSenior-level Full TimeSeattle, Washington, USA27d ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-260KAutomated Reasoning | Privacy | Program analysis | Programming language | Programming language type systemsFlexible work hours | Training and career growth | Work-life balanceMid-level Full TimeBoston, Massachusetts, USA27d ago
-
Applied Scientist, AWS Automated Reasoning USD 167K-226KAutomated Reasoning | Program analysis | Programming language | Programming language type systems | SATDEI Events | Flexible work hours | Learning and career growth resources | Mentoring and knowledge sharing | Work-life balanceMid-level Full TimeAustin, Texas, USA27d ago
-
Sr. Applied Scientist, Cedar Authorization USD 153K-235KC++ | Cedar | Constraint Solving | Formal verification | GoConference presentation opportunities | Mentorship | Open source community engagementSenior-level Full TimeFI, Virtual R30d 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