Applied Scientist: Automated Reasoning for Security

Amazon Web Services (AWS); Denver (CO); On-site; USD 168,000 - 223,000; Full time

Benefits offered by this job

Health insurance

Restricted stock units (RSUs)

401(k) matching

Paid time off

Job summary

AWS Science of Security is seeking researchers to design, develop, and deploy automated reasoning tools that verify software systems for correctness, security, and reliability. You will apply constraint solving, model checking, and program analysis in a fast-moving, startup-like AWS environment.

You will collaborate with world-class scientists, ship tools that secure services used by millions, and influence cross-organizational outcomes while addressing exceptionally challenging problems in

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 understanding of your domain 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
• Develop fundamentally new solutions for uniquely challenging business problems

Skills

SAT/SMT theorem proving

Program analysis

Mechanical theorem proving

Symbolic simulation

Programming language type systems

Research experience

Education

PhD or equivalent research experience

Tools

OCaml

Dafny

Haskell

Kotlin

Lean

Rust

Scala

Job description

AWS Science of Security is seeking researchers to design, develop, and deploy automated reasoning tools that verify software systems for correctness, security, and reliability. You will apply constraint solving, model checking, and program analysis in a fast-moving, startup-like AWS environment.

You will collaborate with world-class scientists, ship tools that secure services used by millions, and influence cross-organizational outcomes while addressing exceptionally challenging problems in