Applied Scientist, AWS Automated Reasoning at Amazon Web Services in Austin, TX, will tackle complex problems and deliver scalable reasoning solutions across domains. The role emphasizes strategic thinking, mentorship, and cross‑organizational influence.
The position requires a Ph.D. and expertise in SAT/SMT, mechanical theorem proving, symbolic analysis, or related fields, with programming in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, or Scala.
#J-18808-Ljbffr