Applied Scientist, AWS Automated Reasoning

Applied Scientist, AWS Automated Reasoning

Job ID: 10439455 | Amazon Web Services, Inc.

Overview

Applied Scientists in AWS Automated Reasoning are dedicated to making AWS the best computing service for customers who require advanced automated reasoning, privacy, and sovereignty solutions.

Key Responsibilities

• Solve large or significantly complex problems that require deep knowledge and understanding of your domain and scientific innovation.
• Own strategic problem solving and take the lead on design, implementation, and delivery of solutions with long‑term quantifiable impact.
• Provide cross‑organizational technical influence, increasing productivity and effectiveness by sharing deep knowledge and experience.
• Develop strategic plans to identify fundamentally new solutions for business problems.
• Assist in the career development of others, actively mentoring individuals and the community on advanced technical issues.

Day in the Life

This is a unique and rare opportunity to get in early on a fast‑growing segment of AWS and help shape the technology, product, and the business. You will have a chance to utilize your deep technical experience within a fast‑moving, start‑up environment and make a large business and customer impact.

Team & Culture

Diverse Experiences Amazon Automated Reasoning values diverse experiences and encourages candidates who may not meet every qualification to apply. In Amazon Automated Reasoning, we value curiosity, continuous learning, and diversity. We provide training, career growth, and flexible work arrangements.

Basic Qualifications

• PhD or Master’s degree.
• Experience in SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, or program analysis.

Preferred Qualifications

• Experience programming in O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or a related language.

Equal Opportunity Employer

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

Location & Compensation

Salary ranges:
USA, CA, Santa Clara – $192,200.00 – $260,000.00 USD annually
USA, MA, Boston – $167,100.00 – $226,100.00 USD annually

Benefits include health insurance, dental, vision, prescription, Basic Life & AD&D, Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement, 401(k) matching, paid time off, and parental leave.
Learn more about our benefits at

FAQs for Current Government Employees

Before proceeding, please review the following FAQs:

Posting

Posted: March 6, 2026 (Updated about 9 hours ago)