Applied Scientist, Automated Reasoning Group - Seattle

Sourced from educativ.net

Applied Scientist role in the AWS Automated Reasoning group, developing formal methods, automated reasoning, and neurosymbolic techniques to ensure the safety, security, and correctness of code and services. The work spans generative-AI safety, agentic sandboxes, cloud infrastructure verification, and cryptographic assurance. You will design and deploy production-grade reasoning systems at Amazon scale and publish original research.

• Design and implement algorithms and formal methods for automated reasoning, including constraint solving, model checking, static analysis, theorem proving, and program synthesis
• Develop new decision procedures, heuristics, and search strategies to improve scalability and accuracy of verification tools
• Apply generative AI and machine learning to enhance automated reasoning, including learning-based heuristics and neural symbolic reasoning
• Develop reasoning techniques for generative AI and agentic coding systems, including safety and alignment of autonomous agents
• Conduct original research and publish in peer-reviewed venues
• Work with customer teams to identify verification needs and translate capabilities into production systems
• Mentor scientists and engineers on formal methods and neurosymbolic techniques

• PhD or equivalent research experience
• Experience in mathematical logic, formal verification, SAT/SMT solving, mechanical theorem proving, model checking, or program analysis

• Professional software development experience
• Programming in OCaml, Haskell, Rust, Scala, Kotlin, or a related language
• Experience with proof assistants or verification languages such as Lean, Verus, Dafny, Isabelle, or Rocq
• Applying formal methods or automated reasoning to real-world software, security, or systems problems