Job Details

Amazon Web Services, Inc. in Portland, Oregon is seeking Applied Scientists for AWS Automated Reasoning to tackle complex problems in automated reasoning, privacy, and sovereignty.You will join a fast-growing team shaping technology, product, and business impact with deep technical expertise in a start-up like environment. This role emphasizes mentorship, cross-team collaboration, and developing long-term solutions; candidates should have a PhD and experience in SAT/SMT or theorem proving, with#J-18808-Ljbffr