Skip to content
CV Rocket
Get started
How it worksThe enginePricingBlogContactSign in

Open nowPosted 5 days ago

Applied Scientist, Automated Reasoning Group

Amazon / AWS21,399 open roles

Pay
$142,800 – $193,200 a year
Where
Seattle, Washington, United States
Get the CV for this job

From $25 per CV, paid once. No subscription.

Your applicationOpen nowApplied Scientist, Automated Reasoning GroupAmazon / AWS · Seattle, Washington, United States

  1. YouYes, apply to this one.

  2. CV RocketCV written for this posting.

  3. 25 readersRecruiter, hiring manager, skeptic. Round after round.

  4. CV RocketApplied on Amazon / AWS's own form.

The reply lands in your private mailbox

3×more interviews than doing it yourself with ChatGPT.

The clock on this job

Early applications get read.

13.3% of postings close within 7 days. Measured by our own scanner across the market. Amazon / AWS postings stay open a median of 23 days.

Share of postings closed within
  1. 2.1%1 day
  2. 4.6%3 days
  3. 13.3%7 days
  4. 21.3%14 days
  5. 35.7%30 days
  6. 59.1%60 days
This job: posted 5 days ago

Amazon / AWS median: 23 days open

The posting

This is an Applied Scientist position in the AWS Automated Reasoning group. In this role you will work together with leading scientists in the field to develop and apply the latest automated-reasoning techniques, formal methods, and neurosymbolic approaches to ensure safety, security, and correctness of code and services. As Agentic AI becomes the primary method of software development, we are changing the way that computer systems are developed and operated, raising the bar on quality, verifiability, and durability.

Automated Reasoning at Amazon is central to maintaining customer trust and improving the customer experience. Automated Reasoning techniques are being applied in diverse areas spanning generative-AI safety, agentic sandboxes, cloud infrastructure verification, software security and verification, cryptographic assurance, and policy validation. The techniques we are applying include automated theorem proving, model checking, constraint solving, and neurosymbolic proof search.

This is a unique opportunity to get in early on a rapidly expanding part of AWS and help shape the technology, product, and business. You will have a chance to utilize your deep technical expertise within a fast-paced environment and make a large business and customer impact.

Key job responsibilities • Design and implement algorithms and formal methods for automated reasoning, including constraint solving, model checking, static analysis, theorem proving, and program synthesis to verify the correctness, security, and reliability of computing systems. • Solve large or significantly complex problems that require deep knowledge and scientific innovation in your domain; own strategic problem solving and take the lead on design, implementation, and delivery of solutions with long-term quantifiable impact. • Develop new decision procedures, heuristics, and search strategies that improve the scalability and accuracy of verification tools; build and deploy production-grade automated reasoning systems at Amazon scale. • Explore and apply generative AI and machine learning techniques to enhance automated reasoning capabilities, including learning-based heuristics for search and optimization, neural approaches to symbolic reasoning, and methods for verifying the correctness of AI-generated code. • Develop automated reasoning techniques for generative AI and agentic coding systems, including methods for ensuring the safety and alignment of autonomous software agents and applying formal guarantees to large language model outputs. • Conduct original research and publish findings in peer-reviewed venues. • Work with customer teams to understand the nature of their software and the properties they need to establish; identify tools and methods capable of addressing verification needs, including novel analysis capabilities. • Provide cross-organizational technical influence, increasing productivity and effectiveness by sharing deep knowledge and experience; collaborate with partner teams to translate verification capabilities into production systems. • Mentor scientists and engineers on formal methods, neurosymbolic techniques, and best practices for building reliable automated reasoning systems; assist in career development of others.

- PhD or equivalent research experience - Experience in any of the following areas: mathematical logic, formal verification, satisfiability solving (eg SAT/SMT), mechanical theorem proving, model checking, or program analysis

- Experience in professional software development - Experience programming in OCaml, Haskell, Rust, Scala, Kotlin, or a related language - Experience with proof assistants or verification languages such as Lean, Verus, Dafny, Isabelle, or Rocq - Experience applying formal methods or automated reasoning to real-world software, security, or systems problems

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.

The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location. Amazon also offers comprehensive benefits including health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage), 401(k) matching, paid time off, and parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits.

USA, WA, Seattle - 142,800.00 - 193,200.00 USD annually

From $25, paid onceGet the CV for this job

What happens when you press

One press. We do the rest.

  1. A CV for this posting

    Written against Amazon / AWS's own wording, from every piece of relevant proof in your profile.

  2. 25 readers review it

    Recruiter, hiring manager, skeptic and more read every draft, round after round. You get the best round.

    The review screen in CV Rocket: how each CV was read, round by round.

  3. We apply on Amazon / AWS's form

    Our application engine gets through the hardest forms there are. Where a question needs you, AI suggests the best answer. Don't want us applying from our IP addresses? Use our Chrome extension: we apply straight from your own browser.

    An application in CV Rocket: every answer filled in on the employer's form.

  4. Every reply, sorted

    Amazon / AWS's answer lands in your private mailbox, and we classify it on arrival: interview, question, rejection.

    The CV Rocket inbox: each employer reply classified as an interview, an action or a rejection.

  5. Reply with AI

    AI helps you write the email, checks it and sends it. We show you whether the recruiter read it.

  6. The interview in your calendar

    Full integration with your calendar. The invitation goes straight in.

    An interview invitation in the CV Rocket inbox, added to the candidate's calendar.
Get the CV for this job

From $25 per CV, paid once. No subscription.

Why it works

3×

more interviews than doing it yourself with ChatGPT.

ChatGPT writes a CV and never learns what happened to it. We see every reply. For each CV we know:

  • How it was written, and how the review scored it
  • When we applied, and how long after the posting went up
  • Which posting, which company, which city
  • Who got the interview, and who heard nothing

That is how we know which CVs get called.

Get the CV for this job

From $25 per CV, paid once. No subscription.

The numbers game

More applications. More interviews.

Every application goes out with its own CV, written for that posting and paid once. Send enough of them and the law of large numbers finds you the job.

Get the CV for this job
By hand5–10
With CV Rocket100
applications a day

Nearby

Live postings like this one

Same employer first, then the same role elsewhere.

Before you press

Straight answers

Get the CV for this job

From $25 per CV, paid once. No subscription.

What if my background isn't good enough?

We make the most of the background you have. The CV uses every piece of relevant proof your profile holds, and one of the 25 readers reads your whole profile and flags what the CV left out.

Do you really apply for me?

Yes, on the employer's own form, the hardest ones included. Where a question needs you, you answer it right there and AI suggests the best answer. Don't want us applying from our IP addresses? Use our Chrome extension: we apply straight from your own browser.

Is it a subscription?

No. You pay once per CV, from $25. Every application goes out with its own CV, written for that posting.

One job. One CV.
Paid once.

Pick the posting you want. We write for it, apply for you and catch the reply.

Get the CV for this job

From $25 per CV, paid once. No subscription.