Applied Scientist, Automated Reasoning & Formal Methods

Socket.dev; Boston (MA); On-site; USD 167,000 - 226,000; Full time

Benefits offered by this job

Health insurance

RSUs

401(k) matching

Paid time off

Job summary

Amazon in Boston seeks an Applied Scientist in AWS Automated Reasoning to design and apply formal methods, automated reasoning, and neurosymbolic approaches to verify the security, reliability, and correctness of AWS services. You will work on verification tools, model checking, SMT, and scalable proof systems.

You will have opportunities to publish research findings, mentor others, and influence cross-team verification practices across Amazon's cloud services.

Qualifications

• PhD or equivalent research experience in logic or formal methods.
• Experience in formal verification, SAT/SMT, model checking, or theorem proving.

Responsibilities

• Design and implement automated reasoning algorithms and formal methods.
• Solve complex verification problems and lead design and delivery of scalable solutions.
• Develop decision procedures and search strategies for verification tools.
• Explore ML/AI methods to enhance automated reasoning and verify AI-generated code.
• Mentor scientists and engineers in formal methods and neurosymbolic techniques.
• Collaborate with customer teams to translate verification needs into production systems.

Skills

Formal verification

SAT/SMT solving

Model checking

Theorem proving

Program analysis

Education

PhD or equivalent research experience

Tools

Lean

Dafny

Isabelle

Rocq

OCaml

Haskell

Rust

Scala

Kotlin

Job description

Amazon in Boston seeks an Applied Scientist in AWS Automated Reasoning to design and apply formal methods, automated reasoning, and neurosymbolic approaches to verify the security, reliability, and correctness of AWS services. You will work on verification tools, model checking, SMT, and scalable proof systems.

You will have opportunities to publish research findings, mentor others, and influence cross-team verification practices across Amazon's cloud services.