Senior Applied Scientist, Automated Reasoning Group

Amazon Web Services
Apply Now

Job Description

The Automated Reasoning Group in AWS Platform is looking for a Senior Applied Scientist to formally verify systems code that will run on millions of servers world wide.

Each day, hundreds of thousands of developers make billions of transactions worldwide on AWS. They harness the power of the cloud to enable innovative applications, websites, and businesses. You will be part of the team that creates mathematical proofs of the systems code that underlies the infrastructure of the cloud and deliver strong security guarantees to our customers.

Key job responsibilities
As a Senior Applied Scientist in the Automated Reasoning Group you will

  • Write, validate, and maintain formal models of the hardware that systems software controls.
  • Develop and maintain specifications and machine-checked proofs to demonstrate that systems code is correct.
  • Work with software engineers to guide designs and ensure formal verification is feasible.
  • Publish papers that explain the security guarantees obtained and the means by which they are established.
  • Mentor less experienced Applied Scientists

A day in the life

Working closely with other formal verification experts and hardware designers you will create models of the hardware that underpins our cloud instances. You will work with experienced systems software developers to define security and correctness properties of low-level software, and develop programming and design practices to enable formal reasoning about this code. With other formal verification expects in the Automated Reasoning Group you will develop the necessary infrastructure to carry out the proofs of correctness of the systems code and drive these proofs to completion.

About the team

As a member of the Automated Reasoning Group you will be joining the largest assembled team of automated reasoning experts in the world. We bring automated reasoning to bear on problems from across the many business domains in which Amazon operates. You are encouraged to interact with teams in other areas and to seek out new opportunities for automated reasoning in the company. The group is distributed across North America and Western Europe


You will have a PhD in Computer Science, Mathematics, or Computer Engineering, and five years of experience in formally verifying software or hardware systems of industrial significance. You will have specific experience in the following:

  • Interactive theorem provers, such as Isabelle, HOL, Coq, ACL2 or Lean.
  • Programming in, and reasoning about, systems programming languages, such as Rust, C, C++, or Assembly.
  • Creating and validating mathematical models of the behavior of complex systems.


The ideal candidate have

  • Knowledge of Arm system architecture, such as page table management, interrupt handling, and caching.
  • Familiarity with security engineering from a systems-building perspective (e.g., attack surfaces, threat models, side-channel mitigations).
  • Experience with applying symbolic model checkers to verify software or hardware systems.
  • Excellent written and verbal communications skills.

Amazon is an equal opportunities employer. We believe passionately that employing a diverse workforce is central to our success. We make recruiting decisions based on your experience and skills. We value your passion to discover, invent, simplify and build. Protecting your privacy and the security of your data is a longstanding top priority for Amazon.

Company Info.

Amazon Web Services

Amazon Web Services, Inc. (AWS) is a subsidiary of Amazon providing on-demand cloud computing platforms and APIs to individuals, companies, and governments, on a metered pay-as-you-go basis. These cloud computing web services provide a variety of basic abstract technical infrastructure and distributed computing building blocks and tools. One of these services is Amazon Elastic Compute Cloud (EC2).

  • Industry
    Information Technology
  • No. of Employees
  • Location
    410 Terry Ave N, Seattle, WA, USA
  • Website
  • Jobs Posted

Get Similar Jobs In Your Inbox

Amazon Web Services is currently hiring Senior Applied Scientist Jobs in Cambridge, UK with average base salary of £70,000 - £110,000 / Year.

Similar Jobs View More