Senior Applied Scientist, AWS Agentic Automated Reasoning Group

Amazon • Seattle, WA

2d • Onsite

About The Position

The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic tools, fusing breakthroughs in artificial intelligence with the scale of the cloud and deep expertise in automated reasoning. This role is within the Automated Reasoning checks team, seeking a Senior Applied Scientist experienced in building scalable formal reasoning solutions. The team is building the next generation of tools and services by combining Automated Reasoning, GenAI, and Agentic AI at cloud computing scale. The scientist will propose solutions, create software prototypes, and move them into production systems using modern software development tools and methodologies, supporting and scaling these solutions to meet customer demand. Strong verbal and written communication skills are essential for delivering high-quality results in a fast-paced environment. AWS uses automated reasoning technology and mathematical proofs to provide customers with answers about security, availability, durability, and functional correctness, referred to as provable security.

Requirements

• PhD, or Master's degree and 5+ years of applied research experience
• Experience programming in Java, C++, Python or related language
• 5+ years of industry or academic work in formal verification, program analysis, constraint-solving or theorem proving experience

Nice To Haves

• Experience delivering results for large, cross-functional initiatives/projects
• Experience in communicating technically, at a level appropriate for the audience
• Experience working with Data & AI related technologies, including, but not limited to, AI/ML, GenAI, Analytics, Database, and/or Storage
• Experience in formal verification, program analysis, constraint-solving, symbolic execution, model checking, SAT/SMT solver implementation and applications, mechanical theorem and/or code-reasoning languages such as Lean

Responsibilities

• Define and implement new automated reasoning features that employ scalable and efficient approaches to solve complex problems using neural learning and symbolic/formal reasoning.
• Apply software engineering best practices to ensure a high standard of quality for all team deliverables.
• Work in an agile, startup-like development environment.
• Deliver high-quality scientific artifacts.
• Work with the team to help drive business decisions.
• Design and implement scalable, production-grade neuro-symbolic systems that integrate formal reasoning with GenAI to deliver reliable, verifiable outcomes for AWS customers.
• Collaborate cross-functionally with product, engineering, and science teams as well as external customers to deeply understand pain points, gather requirements, and translate them into neuro-symbolic features that solve real-world problems.
• Enhance and extend the capabilities of formal reasoning systems to meet the demands of GenAI and agentic applications — including areas such as hallucination detection, policy verification, and automated guardrails.
• Proactively identify and pursue new opportunities to apply formal reasoning solutions across AWS services and customer domains, driving adoption and expanding the impact of neuro-symbolic approaches.
• Own the end-to-end science lifecycle — from research and experimentation through production deployment — defining metrics to measure system performance and the real-world impact of neuro-symbolic solutions.
• Mentor junior scientists and engineers, providing technical guidance, fostering a culture of scientific rigor, and raising the bar across the team.
• Advance the state of the art through publications at top-tier venues, patents, or open-source contributions, strengthening Amazon's position as a leader in automated reasoning and neuro-symbolic AI.

Benefits

• sign-on payments
• restricted stock units (RSUs)
• health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage)
• 401(k) matching
• paid time off
• parental leave

What This Job Offers

• Job Type: Full-time
• Career Level: Senior