Applied Scientist — Drone Autonomy & Verification

Amazon; San Francisco (CA); Hybrid; USD 142,000 - 193,000; Full time

Job summary

Amazon is seeking an Applied Scientist to combine deep expertise in formal methods and software verification with the ability to move research from prototype to production for drone safety-critical systems. You will work with software engineers and researchers to apply model checking, symbolic execution, and AI-guided test generation to uncover defects that sampling-based verification may miss.

You will collaborate across teams on high-impact challenges, contribute to robust production systems,

Qualifications

• 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

Responsibilities

• Work with software engineers building safety-critical drone systems
• Collaborate with researchers to push the boundaries of automated reasoning

Skills

Model checking

Symbolic execution

AI-guided test generation

Java

C++

Python

Distributed computing

Education

PhD

MS with CS/CE/ML

Tools

Java

C++

Python

Job description

Amazon is seeking an Applied Scientist to combine deep expertise in formal methods and software verification with the ability to move research from prototype to production for drone safety-critical systems. You will work with software engineers and researchers to apply model checking, symbolic execution, and AI-guided test generation to uncover defects that sampling-based verification may miss.

You will collaborate across teams on high-impact challenges, contribute to robust production systems,