Applied Scientist - Automated Reasoning for Security

Amazon Web Services (AWS); Seattle (WA); On-site; USD 143,000 - 193,000; Full time

Job summary

AWS Science of Security seeks researchers to design, develop, evaluate, and deploy automated reasoning solutions ensuring software correctness, security, and reliability. You will work on constraint solving, model checking, static analysis, and program analysis to advance security in AWS services.

Join a fast-moving, startup-like team within AWS Security, collaborating with renowned researchers to deliver impactful tools and verification frameworks for complex business problems and secure

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 understanding of your domain and scientific innovation.
• Own the design, implementation, and delivery of solutions that have a long-term quantifiable impact

Skills

SAT/SMT

Theorem proving

Model checking

Programming language type systems

Education

PhD or equivalent research

Tools

OCaml

Dafny

Haskell

Kotlin

Lean

Rust

Scala

Job description

AWS Science of Security seeks researchers to design, develop, evaluate, and deploy automated reasoning solutions ensuring software correctness, security, and reliability. You will work on constraint solving, model checking, static analysis, and program analysis to advance security in AWS services.

Join a fast-moving, startup-like team within AWS Security, collaborating with renowned researchers to deliver impactful tools and verification frameworks for complex business problems and secure