DESCRIPTION The Automated Reasoning Group in AWS AI is looking for an Applied Scientist who will work on integrating... in mathematical logic. About the team The automated reasoning group in AI is a diverse group of scientists and engineers innovating...