Senior Applied Scientist , Automated Reasoning Group

Amazon - Boston,MA

Description Are you passionate about formal verification of programs? The Automated Reasoning Group is looking for a Senior Applied Scientist to develop and deliver innovative, scalable code reasoning capabilities to address customers...