Applied Scientist, Prime Air

Here at Amazon, we embrace our differences. We are committed to furthering our culture of diversity and inclusion of our teams within the organization. We’re working on the future. If you are seeking an iterative fast-paced environment where you can drive innovation, apply state-of-the-art technologies to solve large-scale real world challenges and provide visible benefit to end users, this is your opportunity. Come work for the Amazon Prime Air team! We're looking for an Applied Scientist who combines deep expertise in formal methods and software verification with a demonstrated ability to take research techniques from prototype to production. This person must be comfortable working alongside software engineers building safety-critical drone systems and collaborating with researchers pushing the boundaries of automated reasoning. We're looking for someone who can apply model checking, symbolic execution, and AI-guided test generation to find defects that sampling-based verification cannot catch. You will work hard, have fun, and of course, make history! Export Control License This position may require a deemed export control license for compliance with applicable laws and regulations. Placement is contingent on Amazon’s ability to apply for and obtain an export control license on your behalf.