Applied Scientist, Prime Air

The Applied Scientist will work on the Amazon Prime Air team, applying formal methods and software verification to safety-critical drone systems. They will collaborate with software engineers and researchers to use model checking, symbolic execution, and AI-guided test generation to find defects that sampling-based verification cannot catch. The role involves taking research techniques from prototype to production.

Requirements

• 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

Nice to have

• 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

Benefits

• 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.