Amazon Web Services, Inc. in MA, Boston is seeking an Applied Scientist for AWS Automated Reasoning to tackle complex problems in automated reasoning, privacy, and sovereignty. This role offers a start-up like environment within AWS that enables deep technical impact and rapid iteration.
Qualifications include a PhD and strong experience in SAT/SMT, formal methods, and languages such as OCaml, Dafny, Haskell, or similar. Locations: USA, MA, Boston. Salary ranges: 142,800 – 193,200 USD annually.
#J-18808-Ljbffr