Applied Scientist, Socrates, Automated Reasoning
The Automated Reasoning Group is looking for an Applied Scientist with experience in building scalable formal reasoning solutions that delight customers. You will be part of a world-class team building the next generation of tools and services by combining Automated Reasoning and Generative AI....