Applied Scientist: Agentic Reasoning & Verification

Amazon is hiring an Applied Scientist for the Agentic Automated Reasoning Group in San Francisco. The role involves developing software verification tools using AI and requires expertise in programming languages like Java, C++, and Python. Candidates should hold a PhD or Master's degree in a relevant field and have experience in formal verification and program analysis. Amazon values diversity and is committed to creating an inclusive workplace for all employees.

#J-18808-Ljbffr