Resume and JobRESUME AND JOB
Amazon logo

Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software

Amazon

Engineering Jobs

Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software

full-timePosted: Jun 3, 2025

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.

Target Your Resume for "Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software" , Amazon

Get personalized recommendations to optimize your resume specifically for Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software. Takes only 15 seconds!

AI-powered keyword optimization
Skills matching & gap analysis
Experience alignment suggestions

Check Your ATS Score for "Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software" , Amazon

Find out how well your resume matches this job's requirements. Get comprehensive analysis including ATS compatibility, keyword matching, skill gaps, and personalized recommendations.

ATS compatibility check
Keyword optimization analysis
Skill matching & gap identification
Format & readability score

Tags & Categories

principal-scientist-recruitingResearch Science

Answer 10 quick questions to check your fit for Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software @ Amazon.

Quiz Challenge
10 Questions
~2 Minutes
Instant Score

Related Books and Jobs

No related jobs found at the moment.

Amazon logo

Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software

Amazon

Engineering Jobs

Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software

full-timePosted: Jun 3, 2025

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.

Target Your Resume for "Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software" , Amazon

Get personalized recommendations to optimize your resume specifically for Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software. Takes only 15 seconds!

AI-powered keyword optimization
Skills matching & gap analysis
Experience alignment suggestions

Check Your ATS Score for "Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software" , Amazon

Find out how well your resume matches this job's requirements. Get comprehensive analysis including ATS compatibility, keyword matching, skill gaps, and personalized recommendations.

ATS compatibility check
Keyword optimization analysis
Skill matching & gap identification
Format & readability score

Tags & Categories

principal-scientist-recruitingResearch Science

Answer 10 quick questions to check your fit for Principal Applied Scientist, Prime Air , Prime Air - Vehicle Software @ Amazon.

Quiz Challenge
10 Questions
~2 Minutes
Instant Score

Related Books and Jobs

No related jobs found at the moment.