Amazon’s drone delivery program is focused on getting items to customers quickly, cost-effectively, and safely. At Prime Air, we are building autonomous systems using sophisticated new technologies that are designed to work at scale to serve our customers. We are delivering to customers in multiple locations and are excited for what’s to come as we grow.
We are looking for a Principal Applied Scientist to help drive software quality across Prime Air, raising the bar for performance and correctness of software systems. You will define the tools and approaches needed to apply formal verification, runtime assurance, new testing approaches, metric collection, and other methods to software systems. You will be joining a talented full-stack development team (hardware and software) that is laser-focused on developing safe and efficient drone and traffic management solutions that operate efficiently and deliver packages to our customers at scale. You will work with this team to apply new techniques to our systems and to define processes and tools to enable other team members to ensure that software is correctly implemented.
Key job responsibilities - As a Principal Applied Scientist at Amazon Prime Air you will:
Develop the value proposition for formal verification, runtime assurance, and other methods for software under development and drive building these approaches into every area of our software development processes.
Write, validate, and maintain formal models of the hardware and software.
Develop and maintain specifications and machine-checked proofs to demonstrate that code is correct.
Develop testing and metric collection approaches related to software quality and testing that ensure integration into software processes.
Work with senior leaders in the organization and be the single-threaded owner of communicating the vision for software correctness assurance to leaders within Amazon and to external stakeholders.