Applied Scientist for AWS Automated Reasoning, based in Santa Clara, California or Arlington, Virginia, will tackle large, complex problems requiring deep domain knowledge and scientific innovation. The role owns strategic problem solving, leads the design, implementation, and delivery of solutions with long-term impact, and provides cross-organizational technical influence. You will develop strategic plans to identify fundamentally new solutions for business problems and mentor others within the team. The team emphasizes diversity and continuous learning, with a culture committed to inclusion, training, and career growth. Basic qualifications include a PhD or equivalent research experience. Preferred qualifications include experience programming in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or related languages. Amazon is an equal opportunity employer.

Applied Scientist for AWS Automated Reasoning, based in Santa Clara, California or Arlington, Virginia, will tackle large, complex problems requiring deep domain knowledge and scientific innovation. The role owns strategic problem solving, leads the design, implementation, and delivery of solutions with long-term impact, and provides cross-organizational technical influence. You will develop strategic plans to identify fundamentally new solutions for business problems and mentor others within the team. The team emphasizes diversity and continuous learning, with a culture committed to inclusion, training, and career growth. Basic qualifications include a PhD or equivalent research experience. Preferred qualifications include experience programming in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or related languages. Amazon is an equal opportunity employer.