Amazon is looking for an Applied Scientist in Cupertino, California, to join the Automated Reasoning Group. The successful candidate will work at the intersection of AI and program analysis, focusing on optimizing deep learning compiler stacks for models across various domains. Responsibilities include designing analyzers, developing critical business tooling, and publishing research. Basic qualifications include a PhD or a Master's degree with relevant experience, and proficiency in programming languages. Benefits include health insurance and a competitive salary range of $171,600.00 to $222,200.00. #J-18808-Ljbffr