Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software
Amazon
Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software
Job 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.
Locations
- United States, WA, Seattle, Seattle, WA, United States
Salary
Estimated Salary Rangehigh confidence
300,000 - 450,000 USD / yearly
Source: ai estimated
* This is an estimated range based on market data and may vary based on experience and qualifications.
Skills Required
- - Experience in RTL formal verification methodsintermediate
Required Qualifications
- - Masters Degree (or equivalent) in Computer Science, Mathematics, or Computer Engineering (degree in equivalent)
- - Experience in RTL formal verification methods (experience)
- - Creating and validating mathematical models of the behavior of complex systems (experience)
Preferred Qualifications
- - 10+ years' experience verifying software or hardware systems of industrial significance (experience, 10 years)
- - Experience in defining the strategy and building formal verification team from ground-up (experience)
- - Experience in building metrics and processes for software quality improvement (experience)
- - Experience with applying symbolic model checkers to verify software or hardware systems (experience)
- 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. (experience)
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.
Tags & Categories
Answer 10 quick questions to check your fit for Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software @ Amazon.
10 Questions
~2 Minutes
Instant Score
Related Books and Jobs
Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software
Amazon
Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software
Job 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.
Locations
- United States, WA, Seattle, Seattle, WA, United States
Salary
Estimated Salary Rangehigh confidence
300,000 - 450,000 USD / yearly
Source: ai estimated
* This is an estimated range based on market data and may vary based on experience and qualifications.
Skills Required
- - Experience in RTL formal verification methodsintermediate
Required Qualifications
- - Masters Degree (or equivalent) in Computer Science, Mathematics, or Computer Engineering (degree in equivalent)
- - Experience in RTL formal verification methods (experience)
- - Creating and validating mathematical models of the behavior of complex systems (experience)
Preferred Qualifications
- - 10+ years' experience verifying software or hardware systems of industrial significance (experience, 10 years)
- - Experience in defining the strategy and building formal verification team from ground-up (experience)
- - Experience in building metrics and processes for software quality improvement (experience)
- - Experience with applying symbolic model checkers to verify software or hardware systems (experience)
- 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. (experience)
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.
Tags & Categories
Answer 10 quick questions to check your fit for Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software @ Amazon.
10 Questions
~2 Minutes
Instant Score
Related Books and Jobs