Applied Scientist: Automated Reasoning & Verification

Amazon Web Services (AWS); Arlington (VA); In loco; USD 143.000 - 193.000; Tempo pieno

Descrizione del lavoro

Amazon.com Services LLC in Arlington, VA is seeking a highly experienced researcher to design, implement, and deploy automated reasoning tools for verifying software correctness and security. The role involves working on SAT/SMT, theorem proving, programming language theory, and novel verification frameworks.

You will contribute to high-impact projects in a startup-like AWS security team, with opportunities to ship your tools to millions of customers.

Competenze

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

Mansioni

• Solve significantly complex problems requiring deep domain knowledge and scientific innovation.
• Own the design, implementation, and delivery of solutions with long-term impact.
• Provide cross-organizational technical influence, sharing deep knowledge and experience.
• Develop fundamentally new solutions for uniquely challenging business problems.

Conoscenze

SAT/SMT theorem proving

Symbolic simulation

Programming language type systems

Formazione

PhD or equivalent

Strumenti

OCaml

Dafny

Haskell

Kotlin

Lean

Rust

Scala

Descrizione del lavoro

Amazon.com Services LLC in Arlington, VA is seeking a highly experienced researcher to design, implement, and deploy automated reasoning tools for verifying software correctness and security. The role involves working on SAT/SMT, theorem proving, programming language theory, and novel verification frameworks.

You will contribute to high-impact projects in a startup-like AWS security team, with opportunities to ship your tools to millions of customers.