Applied Scientist, Automated Reasoning for Security

Amazon Web Services (AWS)

New York (NY)

On-site

USD 172,000 - 223,000

Full time

8 days ago

Get a reply from this employer

Your resume and cover letter, tailored to exactly what they’re hiring for.

Get past ATS filters

Job summary

Amazon.com Services LLC is seeking a highly skilled researcher to design, develop, and evaluate automated reasoning tools for verifying software correctness, security, and reliability. You will work with SAT/SMT, model checking, and theorem proving in a fast-moving AWS security environment, delivering tangible impact for millions of customers.

You will collaborate with world-class researchers to deploy verification frameworks and apply novel approaches to real-world problems, contributing to

Qualifications

PhD or equivalent research experience.
Experience in SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, or program analysis.
Familiarity with functional programming languages and formal methods is a plus.

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

mechanical theorem proving

symbolic simulation

programming language type systems

program analysis

Education

PhD or equivalent research experience

Tools

OCaml

Dafny

Haskell

Kotlin

Lean

Rust

Scala

Job description

You will collaborate with world-class researchers to deploy verification frameworks and apply novel approaches to real-world problems, contributing to

Get your free, confidential resume review.

or drag and drop your file here.