Principal Scientist, Automated Reasoning & Verification

Amazon Web Services (AWS); Seattle (WA); On-site; USD 199,000 - 269,000; Full time

Benefits offered by this job

Health insurance and benefits

401(k) matching

Paid time off

Parental leave

Job summary

Amazon Development Center U.S., Inc. seeks a Principal Applied Scientist to lead research and development in automated reasoning, formal verification, and program analysis. You will drive innovation to make formal methods practical for real-world cloud-scale systems.

You will mentor applied scientists and engineers, design novel algorithms, and collaborate with product teams to transition research into production. This role shapes technical strategy and represents AWS in the academic community.

Qualifications

• MS or Ph.D. in Electrical Engineering, Computer Science, Mathematics, or related technical field.
• Industrial/academic experience in formal verification, and theorem proving.
• Experience with program analysis, program verification or synthesis.
• Experience with programming languages such as Rust, C, C++, Java, Dafny, OCaml or Haskell, and open source technologies.
• Experience in design and analysis of algorithms and data structures.

Responsibilities

• Lead research initiatives in automated reasoning, formal verification, SMT solving, model checking, or program analysis.
• Design and implement novel algorithms and techniques that advance the state of the art.
• Mentor and guide applied scientists, research scientists, and engineers.
• Collaborate with product teams to transition research into production systems.
• Define technical vision and strategy for automated reasoning initiatives.
• Represent AWS in the academic and research community.
• Drive cross-organizational impact through technical leadership.

Skills

Formal verification

SMT solving

Model checking

Program analysis

C/C++

Java

Rust

OCaml/Haskell

Education

MS or PhD in Electrical Engineering, Computer Science, Mathematics

Tools

Dafny

OCaml

Haskell

Job description

Amazon Development Center U.S., Inc. seeks a Principal Applied Scientist to lead research and development in automated reasoning, formal verification, and program analysis. You will drive innovation to make formal methods practical for real-world cloud-scale systems.

You will mentor applied scientists and engineers, design novel algorithms, and collaborate with product teams to transition research into production. This role shapes technical strategy and represents AWS in the academic community.