Applied Scientist - Drone Autonomy & Formal Verification

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

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