Applied Scientist, Prime Air

Amazon; Seattle (WA); On-site; USD 143,000 - 193,000; Full time

Job summary

Amazon Prime Air is seeking an Applied Scientist who combines deep expertise in formal methods and software verification with the ability to take research techniques from prototype to production. This role collaborates with software engineers building safety-critical drone systems and researchers pushing the boundaries of automated reasoning.

You will apply model checking, symbolic execution, and AI-guided test generation to find defects that sampling-based verification cannot catch, and help

Qualifications

• PhD or Master’s degree with 4+ years in CS, CE, ML or related field
• Experience in patents or publications at top-tier conferences or journals
• Experience programming in Java, C++, Python or related language
• 3+ years building models for business application experience

Responsibilities

• Apply model checking, symbolic execution, and AI-guided test generation to find defects beyond sampling-based verification
• Collaborate with software engineers building safety-critical drone systems and with researchers pushing automated reasoning
• Take research techniques from prototype to production in a fast-paced environment

Skills

Java

C++

Python

Algorithms

Data structures

Parsing

Numerical optimization

Data mining

Parallel computing

High-performance computing

Education

PhD or Master’s degree in CS/CE/ML or related field

Job description

Job ID: 10497110 | Amazon.com Services LLC

Here at Amazon, we embrace our differences. We are committed to furthering our culture of diversity and inclusion of our teams within the organization.

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!

We're looking for 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. You will work hard, have fun, and of course, make history!

Export Control License

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.

Basic Qualifications

• 3+ years of building models for business application experience
• PhD, or Master's degree and 4+ years of CS, CE, ML or related field experience
• 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

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

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 https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t 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 https://amazon.jobs/en/benefits .

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

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 https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t 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 https://amazon.jobs/en/benefits .

USA, WA, Seattle - 142,800.00 - 193,200.00 USD annually

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