Senior Machine Learning Engineer, Neuro-Symbolic AI Labs

We are looking for Machine Learning Engineers (MLE) who aim to build super-intelligent AI systems that leverage proof assistants to guide learning and reasoning. Our neuro-symbolic AI technology is applied across a wide range of science and engineering domains within Amazon, and you will join the team at the forefront of this research. As a Senior MLE, you will play a pivotal role in shaping the definition, vision, and development of product features from beginning to end. You will: * Define an…