Hiring: Applied Scientist, Automated Reasoning Company: Amazon Science Location: Santa Clara, CA Job Posted Time: 2026-09-02 17:58:26 Employment Type: Full-time Target Skills & Keywords: Automated Reasoning, Formal Methods, Neurosymbolic Approaches, Constraint Solving, Model Checking, Static Analysis, Theorem Proving, Program Synthesis, SAT/SMT, Program Analysis, Generative AI, Machine Learning, AI Safety, Cryptographic Assurance, Cloud Infrastructure Verification, Mathematical Logic, Formal Verification, Decision Procedures, Heuristics, Search Strategies, Agentic Coding Systems Experience: - PhD or equivalent research experience - Experience in any of the following areas: mathematical logic, formal verification, satisfiability solving (e.g., SAT/SMT), mechanical theorem proving, model checking, or program analysis - Experience in professional software development (preferred) - Experience applying formal methods or automated reasoning (preferred) Required Skills: - Design and implement algorithms and formal methods for automated reasoning, including constraint solving, model checking, static analysis, theorem proving, and program synthesis - Solve large or significantly complex problems requiring deep domain knowledge and scientific innovation - Develop new decision procedures, heuristics, and search strategies to improve scalability and accuracy of verification tools - Build and deploy production-grade automated reasoning systems at scale - Explore and apply generative AI and machine learning techniques to enhance automated reasoning capabilities - Develop automated reasoning techniques for generative AI and agentic coding systems, including safety and alignment of autonomous software agents - Conduct original research and publish findings in peer-reviewed venues - Work with customer teams to understand software properties and identify verification tools and methods - Provide cross-organizational technical influence and collaborate with partner teams - Mentor scientists and engineers on formal methods, neurosymbolic techniques, and best practices Qualifications: - PhD or equivalent research experience - Background in mathematical logic, formal verification, satisfiability solving (SAT/SMT), mechanical theorem proving, model checking, or program analysis - Experience in professional software development (preferred) - Experience applying formal methods or automated reasoning (preferred) Compensation: Not specified Interested candidates, please apply directly through the job posting on company's career page or try via AI auto apply on this platform. Don’t miss this opportunity to join a forward-thinking team!