Applied Scientist, Security & Formal Methods (Flexible)

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

Job summary

Amazon.com Services LLC in Seattle, WA is seeking Applied Scientists to tackle advanced security challenges within AWS Security. You will own design and delivery for impactful, long-term solutions and influence cross-organizational teams with deep technical expertise.

The role emphasizes developing new approaches to business problems, with opportunities to work in a fast-moving, high-impact environment in the AWS Security org.

Qualifications

• PhD or equivalent research experience.
• Experience in mathematical logic, formal verification, SAT/SMT, mechanical theorem proving, model checking, or program analysis.

Responsibilities

• Solve large or significantly complex problems that require deep knowledge and understanding of your domain and scientific innovation.
• Own the design, implementation, and delivery for solutions with long-term, quantifiable impact.
• Provide cross-organizational technical influence, increasing productivity and effectiveness by sharing deep knowledge and experience.
• Develop fundamentally new solutions for business problems.

Skills

Mathematical logic

Formal verification

SAT/SMT

Theorem proving

Model checking

Program analysis

Lean

Dafny

Isabelle

Rocq

OCaml

Haskell

Rust

Scala

Kotlin

Education

PhD or equivalent research experience

Tools

Lean

Dafny

Isabelle

Rocq

OCaml

Haskell

Rust

Scala

Kotlin

Job description

Amazon.com Services LLC in Seattle, WA is seeking Applied Scientists to tackle advanced security challenges within AWS Security. You will own design and delivery for impactful, long-term solutions and influence cross-organizational teams with deep technical expertise.

The role emphasizes developing new approaches to business problems, with opportunities to work in a fast-moving, high-impact environment in the AWS Security org.