Senior Applied Scientist - Automated Reasoning Leader

Amazon is looking for a Sr. Applied Scientist in AWS Automated Reasoning who will solve complex problems requiring deep scientific knowledge and innovation. This role involves strategic problem-solving, design, and implementation for long-term solutions. Applicants should possess a PhD or Master's degree and have experience in areas such as SAT, SMT, and program analysis. The position offers a competitive salary range based in California, along with comprehensive benefits including health insurance, a flexible spending account, and parental leave. #J-18808-Ljbffr