Applied Scientist at AWS, Neuron Compiler

Stream: job postings

[Leonardo de Moura]

https://www.amazon.jobs/en/jobs/2710507/applied-scientist-neuron-arg
From the Job description:

The Automated Reasoning Group in the AWS Neuron Compiler team is looking for an Applied Scientist to work on the intersection of Artificial Intelligence and program analysis to raise the code quality bar in our state-of-the-art deep learning compiler stack. This stack is designed to optimize application models across diverse domains, including Large Language and Vision, originating from leading frameworks such as PyTorch, TensorFlow, and JAX. Your role will involve working closely with our custom-built Machine Learning accelerators, Inferentia and Trainium, which represent the forefront of AWS innovation for advanced ML capabilities, and is the underpinning of Generative AI.

The most important part is at the Preferred Qualifications Section :)

• Knowledge of interactive theorem provers such as Lean