Principal Appl. Scientist, Prime Air , Prime Air - Vehicle Software
Principal Appl. Scientist, Prime Air , Prime Air - Vehicle Software
Posted on :
07-06-2025
Employer Active
1 Vacancy
Job Alert
You will be updated with latest job alerts via emailValid email field required
Send jobs
Share
Send me jobs like this
Job Alert
You will be updated with latest job alerts via emailValid email field required
Send jobs
Job Description
Amazons 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 whats 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.
- 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
- 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 for more information. If the country/region youre applying in isnt 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 $179000/year in our lowest geographic market up to $309400/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 This position will remain posted until filled. Applicants should apply via our internal or external career site.
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.
- 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
- 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 for more information. If the country/region youre applying in isnt 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 $179000/year in our lowest geographic market up to $309400/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 This position will remain posted until filled. Applicants should apply via our internal or external career site.
Required Experience:
Staff IC
Employment Type
Full-Time
Key Skills
Report This Job
Disclaimer: Drjobpro.com is only a platform that connects job seekers and employers. Applicants are advised to conduct their own independent research into the credentials of the prospective employer.We always make certain that our clients do not endorse any request for money payments, thus we advise against sharing any personal or bank-related information with any third party. If you suspect fraud or malpractice, please contact us via contact us page.
