Applied Scientist: Drone Systems & Formal Verification

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

Job summary

Amazon in Seattle, WA is seeking an Applied Scientist to advance formal methods and production-grade verification for safety-critical drone systems.

You'll apply model checking, symbolic execution, and AI-guided test generation to uncover defects beyond sampling-based methods, collaborating with software engineers and researchers.

Ideal candidates have PhD or MSc with 4+ years in CS/CE/ML, strong publication record, and proficiency in Java/C++/Python.

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 algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, HPC

Skills

Java

C++

Python

Algorithms

Data structures

Parallel computing

Distributed computing

High-performance computing

Formal verification

Education

PhD or MSc in CS/CE/ML

Job description

Amazon in Seattle, WA is seeking an Applied Scientist to advance formal methods and production-grade verification for safety-critical drone systems.

You'll apply model checking, symbolic execution, and AI-guided test generation to uncover defects beyond sampling-based methods, collaborating with software engineers and researchers.

Ideal candidates have PhD or MSc with 4+ years in CS/CE/ML, strong publication record, and proficiency in Java/C++/Python.