Applied Scientist, Prime Air

About the role

We’re working on the future. If you are seeking an iterative fast-paced environment where you can drive innovation, apply state-of-the-art technologies to solve large-scale real-world challenges, and provide visible benefit to end users, this is your opportunity. Come work for the Amazon Prime Air team as an Applied Scientist who combines deep expertise in formal methods and software verification with a demonstrated ability to take research techniques from prototype to production.

This person must be comfortable working alongside software engineers building safety-critical drone systems and collaborating with researchers pushing the boundaries of automated reasoning. We're looking for someone who can apply model checking, symbolic execution, and AI-guided test generation to find defects that sampling-based verification cannot catch.

Responsibilities

• Apply formal methods, model checking, symbolic execution, and AI-guided test generation to verify safety-critical drone systems.
• Collaborate with software engineers and researchers to transition research techniques into production.
• Work in an iterative, fast-paced environment to drive innovation and solve large-scale challenges.

Requirements

• 3+ years of experience building models for business applications.
• PhD, or Master's degree and 4+ years of experience in CS, CE, ML, or related field.
• Experience in patents or publications at top-tier peer-reviewed conferences or journals.
• Experience programming in Java, C++, Python, or related language.
• Experience in any of the following areas: algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, high-performance computing.
• This position may require a deemed export control license for compliance with applicable laws and regulations. Placement is contingent on Amazon’s ability to apply for and obtain an export control license on your behalf.

Preferred Qualifications

• Experience in professional software development.
• Master's degree, or a PhD and experience in patents or publications at top-tier peer-reviewed conferences or journals.
• Experience carrying design concepts through exploration, development, and into deployment or mass production.
• Experience communicating with customers, technical, regulatory, business teams, and management to collect requirements, describe product features, and technical designs.
• Experience in formal verification, program analysis, constraint-solving, or theorem proving (academic or professional work).
• Knowledge of software test techniques and strategy.
• Previous experience in formal methods, program analysis, or software verification.

Pay

USA, WA, Seattle - $142,800.00 - $193,200.00 USD annually. 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.

Benefits

• Comprehensive health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance, and option for Supplemental life plans).
• Employee Assistance Program (EAP) and Mental Health Support.
• Medical Advice Line and Flexible Spending Accounts.
• Adoption and Surrogacy Reimbursement coverage.
• 401(k) matching.
• Paid time off and parental leave.

Learn more about our benefits at https://amazon.jobs/en/benefits.