New job, posted less than a week ago!
Job Details
Posted date: Jun 04, 2025
Location: Seattle, WA
Estimated salary: $244,200
Range: $179,000 - $309,400
Description
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.
Qualifications
- Masters Degree (or equivalent) in Computer Science, Mathematics, or Computer Engineering- Experience in RTL formal verification methods
- Creating and validating mathematical models of the behavior of complex systems
Extended Qualifications
- 10+ years' experience verifying software or hardware systems of industrial significance- Experience in defining the strategy and building formal verification team from ground-up
- Experience in building metrics and processes for software quality improvement
- Experience with applying symbolic model checkers to verify software or hardware systems
Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.
Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.
Our compensation reflects the cost of labor across several US geographic markets. The base pay for this position ranges from $179,000/year in our lowest geographic market up to $309,400/year in our highest geographic market. Pay is based on a number of factors including market location and may vary depending on job-related knowledge, skills, and experience. Amazon is a total compensation company. Dependent on the position offered, equity, sign-on payments, and other forms of compensation may be provided as part of a total compensation package, in addition to a full range of medical, financial, and/or other benefits. For more information, please visit https://www.aboutamazon.com/workplace/employee-benefits. This position will remain posted until filled. Applicants should apply via our internal or external career site.
Check out other jobs at Amazon.