Applied Scientist — Automated Reasoning for Cloud Security

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

Benefits offered by this job

Health insurance

401(k) matching

Paid time off

Parental leave

Job summary

Amazon Security is seeking a highly skilled researcher to design, develop, evaluate, and deploy automated reasoning tools for verifying software systems. You will work on constraint solving, model checking, static analysis, theorem proving, and program analysis within a fast-moving AWS environment.

You will collaborate with a world-renowned community of automated reasoning scientists, tackling open problems that affect millions of customers.

Qualifications

• PhD or equivalent research experience.
• Experience in areas like 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, sharing deep knowledge and experience.
• Develop fundamentally new solutions for uniquely challenging business problems.

Skills

SAT/SMT

Theorem proving

Program analysis

Programming languages

Education

PhD or equivalent research experience

Tools

OCaml

Dafny

Haskell

Kotlin

Lean

Rust

Scala

Job description

Amazon Security is seeking a highly skilled researcher to design, develop, evaluate, and deploy automated reasoning tools for verifying software systems. You will work on constraint solving, model checking, static analysis, theorem proving, and program analysis within a fast-moving AWS environment.

You will collaborate with a world-renowned community of automated reasoning scientists, tackling open problems that affect millions of customers.