Applied Scientist, Prime Air
Core
Applied Scientist building safety-critical drone systems using formal methods and software verification to find defects in automated reasoning.
Role type
Applied Scientist (safety-critical systems)
Builds
Safety-critical drone systems for Amazon Prime Air
Domain
Aerospace / Software Verification / AI
Deliverable
production ML models
Required skills
formal methods, software verification, model checking, symbolic execution, AI-guided test generation, algorithms and data structures, numerical optimization, parallel and distributed computing
Preferred skills
formal verification, program analysis, constraint-solving, theorem proving, software test techniques, design concept deployment
Technologies
Java, C++, Python
Responsibilities
Apply model checking and symbolic execution to find defects, collaborate with software engineers on safety-critical systems, work with researchers on automated reasoning, take research techniques from prototype to production
Seniority
Mid-Senior, hands-on IC
