Applied Scientist - Security & Formal Verification

Amazon Inc.; Seattle (WA); On-site; USD 143,000 - 193,000; Full time

Job summary

Amazon.com Services LLC is seeking an Applied Scientist for AWS Science of Security to design, develop, evaluate, and deploy automated reasoning solutions ensuring software correctness, security, and reliability. You will apply constraint solving, model checking, static analysis, theorem proving, and program analysis to impactful business applications.

You will work in a fast-moving AWS segment, collaborating with top researchers to ship real tools used by millions of customers, influencing

Qualifications

• PhD or equivalent research experience required.
• Experience in SAT/SMT, mechanical theorem proving, symbolic simulation, programming language type systems, or program analysis.

Responsibilities

• Solve significantly complex problems that require deep knowledge and scientific innovation.
• Own the design, implementation, and delivery of solutions with long-term impact.
• Provide cross-organizational technical influence by sharing deep knowledge and experience.
• Develop fundamentally new solutions for uniquely challenging business problems.

Skills

SAT/SMT experience

Theorem proving

Program analysis exposure

Education

PhD or equivalent research experience

Tools

OCaml

Dafny

Haskell

Kotlin

Lean

Rust

Scala

Job description

Amazon.com Services LLC is seeking an Applied Scientist for AWS Science of Security to design, develop, evaluate, and deploy automated reasoning solutions ensuring software correctness, security, and reliability. You will apply constraint solving, model checking, static analysis, theorem proving, and program analysis to impactful business applications.

You will work in a fast-moving AWS segment, collaborating with top researchers to ship real tools used by millions of customers, influencing