DESCRIPTION The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable....com/security/provable-security/ As an Applied Scientist in Automated Reasoning, AWS AI, you will play a pivotal role in shaping...
DESCRIPTION The Automated Reasoning Group in AWS AI is looking for an Applied Scientist who will work on integrating... mathematical logic. About the team The automated reasoning group in AI is a diverse group of scientists and engineers innovating...