Applied Scientist, AWS: Automated Reasoning for Security

VulnU; New York (NY); In loco; USD 172.000 - 223.000; Tempo pieno

Vantaggi offerti da questo lavoro

Paid parental leave

Retirement match

Equity

Flexible PTO

Descrizione del lavoro

Amazon is hiring an Applied Scientist for AWS Science of Security in New York, NY. You will design, develop, evaluate, and deploy automated reasoning tools to verify the correctness and security of software systems, applying constraint solving, model checking, static analysis, and related techniques.

You will work in a fast-moving, startup-like AWS environment, collaborating with world-class researchers to ship impactful solutions that safeguard millions of customers.

Competenze

• 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 related language.

Mansioni

• Solve significantly complex problems that require deep knowledge 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.

Conoscenze

SAT/SMT

Theorem proving

Programming languages

Formazione

PhD or equivalent

Strumenti

OCaml

Dafny

Haskell

Kotlin

Lean

Rust

Scala

Descrizione del lavoro

Amazon is hiring an Applied Scientist for AWS Science of Security in New York, NY. You will design, develop, evaluate, and deploy automated reasoning tools to verify the correctness and security of software systems, applying constraint solving, model checking, static analysis, and related techniques.

You will work in a fast-moving, startup-like AWS environment, collaborating with world-class researchers to ship impactful solutions that safeguard millions of customers.