Senior Applied Scientist, AWS Agentic Automated Reasoning Group

The Agentic Automated Reasoning Group is pioneering the next generation of neuro-symbolic toolsfusing breakthroughs in artificial intelligence with the scale of the cloud and our deep expertise in automated reasoning. If youre driven to push the boundaries of whats possible at the intersection of learning and logic join us and help shape this transformational initiative.

The Automated Reasoning checks team is looking for a Senior Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be part of a world-class team building the next generation of tools and services by combining Automated Reasoning GenAI and Agentic AI at cloud computing scale.

You will apply your knowledge to propose solutions create software prototypes and move prototypes into production systems using modern software development tools and addition you will support and scale your solutions to meet the ever-growing demand of customer use. You will use your strong verbal and written communication skills and own the delivery of high-quality results in a fast-paced environment.

Each day hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications websites and businesses. Using automated reasoning technology and mathematical proofs AWS allows customers to answer questions about security availability durability and functional correctness. We call this provable security absolute assurance in security of the cloud and in the cloud. See a Senior Applied Scientist in the Agentic Automated Reasoning Group you will play a pivotal role in shaping product features from beginning to end. You will:

* 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

Key job responsibilities
* Design and implement scalable production-grade neuro-symbolic systemsthat 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 customersto 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 systemsto meet the demands of GenAI and agentic applications including areas such as hallucination detection policy verification and automated guardrails.

* Proactively identify and pursue new opportunitiesto 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 artthrough publications at top-tier venues patents or open-source contributions strengthening Amazons position as a leader in automated reasoning and neuro-symbolic AI.

A day in the life
As a Senior Applied Scientist on the Agentic Automated Reasoning team youll design and build neuro-symbolic systems that mathematically verify AI-generated policy content. Day to day youll run experiments and invent features to improve Automated Reasoning checks in Amazon Bedrock Guardrails collaborate with engineering and product teams to ship features into production and partner with other AWS agentic AI teams to integrate neuro-symbolic reasoning into workflows. Youll engage directly with customers in regulated industries to translate real-world policy challenges into research priorities while mentoring junior scientists and publishing at top-tier venues.

About the team
You will be working with a team of formal methods and machine learning specialists spanning recently hired PhDs to industry veterans. You will work collaboratively to deliver results in the form of new features for Automated Reasoning checks that delight our customers.

Why AWS
AWS is the worlds most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating thats why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses.

Inclusive Team Culture
Here at AWS its in our nature to learn and be curious. Our employee-led affinity groups foster a culture of inclusion that empower us to be proud of our differences. Ongoing events and learning experiences including our Conversations on Race and Ethnicity (CORE) and AmazeCon conferences inspire us to never stop embracing our uniqueness.

Mentorship & Career Growth
Were continuously raising our performance bar as we strive to become Earths Best Employer. Thats why youll find endless knowledge-sharing mentorship and other career-advancing resources here to help you develop into a better-rounded professional.

Work/Life Balance
We value work-life harmony. Achieving success at work should never come at the expense of sacrifices at home which is why we strive for flexibility as part of our working culture. When we feel supported in the workplace and at home theres nothing we cant achieve in the cloud.

- PhD or Masters 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

- 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

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status disability or other legally protected status.

Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process including support for the interview or onboarding process please visit for more information. If the country/region youre applying in isnt listed please contact your Recruiting Partner.

The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience qualifications and location. Amazon also offers comprehensive benefits including 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 and parental leave. Learn more about our benefits at NY New York - 183800.00 - 248700.00 USD annually
USA WA Seattle - 167100.00 - 226100.00 USD annually