Applied Scientist - Security & Formal Methods Flexible Hours

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

Benefits offered by this job

Health insurance

RSUs & sign-on

Job summary

Amazon Security is seeking an Applied Scientist for AWS Science of Security in New York. You will tackle large, complex problems, own end-to-end design and implementation, and influence cross-organizational teams with deep domain knowledge.

The role emphasizes innovation and real-world impact across security, cloud, and systems domains. The position offers exposure to a fast-paced environment with opportunities to shape product direction, collaborate across teams, and contribute to Amazon’s

Qualifications

• PhD or equivalent research experience required.
• Experience in mathematical logic, formal verification, SAT/SMT, theorem proving, model checking, or program analysis preferred.
• Experience applying formal methods to real-world software, security, or systems problems preferred.

Responsibilities

• Solve large or significantly complex problems that require deep knowledge and scientific innovation.
• Own the design, implementation, and delivery for solutions with long-term impact.
• Provide cross-organizational technical influence and share deep knowledge.
• Develop fundamentally new solutions for business problems.

Skills

Mathematical logic

SAT/SMT

Model checking

Program analysis

Education

PhD or equivalent research experience

Formal verification background

Tools

OCaml

Haskell

Rust

Scala

Kotlin

Job description

Amazon Security is seeking an Applied Scientist for AWS Science of Security in New York. You will tackle large, complex problems, own end-to-end design and implementation, and influence cross-organizational teams with deep domain knowledge.

The role emphasizes innovation and real-world impact across security, cloud, and systems domains. The position offers exposure to a fast-paced environment with opportunities to shape product direction, collaborate across teams, and contribute to Amazon’s