Applied Scientist, AWS – Shape Next-Gen Cloud Security

Amazon; Denver, Northern (CO, KY); Hybrid; 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 is seeking an Applied Scientist in AWS Science of Security to tackle highly advanced security challenges at scale in Denver, CO. You will design and deliver innovative solutions with measurable business impact, working across teams to raise the security bar for AWS services.

The role requires a PhD or equivalent research experience and expertise in formal methods, programming languages, and security-focused research.

Qualifications

• PhD or equivalent research experience.
• Experience in SAT/SMT, mechanical theorem proving, symbolic simulation, programming language type systems, or program analysis.

Responsibilities

• Solve large or significantly complex problems requiring deep domain knowledge and scientific innovation.
• Own the design, implementation, and delivery for solutions with long-term impact.
• Provide cross-organizational technical influence by sharing deep knowledge and experience.
• Develop fundamentally new solutions for 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

Amazon is seeking an Applied Scientist in AWS Science of Security to tackle highly advanced security challenges at scale in Denver, CO. You will design and deliver innovative solutions with measurable business impact, working across teams to raise the security bar for AWS services.

The role requires a PhD or equivalent research experience and expertise in formal methods, programming languages, and security-focused research.