Applied Scientist, Security Verification & Reasoning

Amazon Inc.; New York (NY); On-site; USD 172,000 - 223,000; Full time

Benefits offered by this job

Health insurance

401(k) matching

Paid time off

Job summary

Amazon's AWS Science of Security team is seeking an Applied Scientist to design, develop, and deploy automated reasoning solutions for security verification. You will work on constraint solving, model checking, static analysis, and program analysis to secure software used by millions of customers.

You will collaborate with world-class researchers, ship tools and frameworks, and tackle open problems with clear business impact in a fast-moving, startup-like environment within AWS.

Qualifications

• PhD or equivalent research experience
• Experience in SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, or program analysis
• Experience programming in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or a related language

Responsibilities

• Solve significantly complex problems that require deep knowledge and scientific innovation
• Own the design, implementation, and delivery of solutions that have a long-term quantifiable impact
• Provide cross-organizational technical influence, driving effective outcomes by sharing your deep knowledge and experience

Skills

SAT/SMT

Theorem proving

Program analysis

Type systems

Education

PhD or equivalent research experience

Tools

OCaml

Dafny

Haskell

Kotlin

Lean

Rust

Scala

Job description

Amazon's AWS Science of Security team is seeking an Applied Scientist to design, develop, and deploy automated reasoning solutions for security verification. You will work on constraint solving, model checking, static analysis, and program analysis to secure software used by millions of customers.

You will collaborate with world-class researchers, ship tools and frameworks, and tackle open problems with clear business impact in a fast-moving, startup-like environment within AWS.