Applied Scientist, Automated Reasoning & Verification

Amazon Web Services (AWS); Seattle (WA); In loco; USD 143.000 - 193.000; Tempo pieno

Descrizione del lavoro

Amazon Development Center U.S., Inc. in Seattle is seeking an Applied Scientist in the AWS Automated Reasoning group to advance automated reasoning, formal methods, and neurosymbolic approaches for safety, security, and correctness of code and services.

You will collaborate with leading researchers on scalable verification techniques, contribute to production-grade tools, publish findings, and mentor teammates while impacting customer trust and system reliability.

Competenze

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

Mansioni

• Design and implement algorithms and formal methods for automated reasoning to verify correctness, security, and reliability.
• Tackle large, complex problems; lead design, implementation and delivery with long-term impact.
• Develop new decision procedures, heuristics, and search strategies for scalable verification tools.
• Apply generative AI and ML to enhance automated reasoning, including learning-based heuristics.
• Develop reasoning techniques for generative AI and agentic coding systems ensuring safety.
• Conduct original research and publish findings.
• Collaborate with customer teams to translate verification capabilities into production systems.
• Mentor scientists and engineers in formal methods and best practices.

Conoscenze

Mathematical logic

Formal verification

Satisfiability solving

Mechanical theorem proving

Model checking

Program analysis

OCaml

Haskell

Rust

Scala

Kotlin

Lean

Verus

Dafny

Isabelle

Rocq

Formazione

PhD or equivalent research experience

Strumenti

OCaml

Haskell

Rust

Scala

Kotlin

Lean

Verus

Dafny

Isabelle

Rocq

Descrizione del lavoro

Amazon Development Center U.S., Inc. in Seattle is seeking an Applied Scientist in the AWS Automated Reasoning group to advance automated reasoning, formal methods, and neurosymbolic approaches for safety, security, and correctness of code and services.

You will collaborate with leading researchers on scalable verification techniques, contribute to production-grade tools, publish findings, and mentor teammates while impacting customer trust and system reliability.