Applied Scientist: AI-Driven Drone Verification

Socket.dev; Seattle (WA); On-site; USD 143,000 - 193,000; Full time

Job summary

Amazon is seeking an Applied Scientist for the Prime Air team to apply formal methods and software verification, transforming research into production-ready systems for safety-critical drones.

You will combine model checking, symbolic execution, and AI-guided test generation to uncover defects beyond sampling-based verification, collaborating with engineers and researchers to push the boundaries of automated reasoning.

Qualifications

• 3+ years of building models for business applications.
• PhD, or Master's + 4+ years in CS/CE/ML or related field.
• Publications or patents at top-tier venues.
• Experience programming in Java, C++, Python.
• Experience in formal verification, program analysis, constraint solving, or theorem proving.

Skills

Modeling experience

Java

C++

Python

Algorithms & data structures

Parallel & distributed computing

Education

PhD

Master's degree in CS/CE/ML

Tools

Formal verification

Program analysis

Constraint solving

Theorem proving

Software testing techniques

Job description

Amazon is seeking an Applied Scientist for the Prime Air team to apply formal methods and software verification, transforming research into production-ready systems for safety-critical drones.

You will combine model checking, symbolic execution, and AI-guided test generation to uncover defects beyond sampling-based verification, collaborating with engineers and researchers to push the boundaries of automated reasoning.