Amazon-posted 19 days ago
Full-time • Mid Level
Cupertino, CA

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. In this role as an Applied Scientist, you'll be instrumental in designing, developing, and deploying analyzers for ML compiler stages and compiler IRs. You will architect and implement business-critical tooling, publish cutting-edge research, and mentor a brilliant team of experienced scientists and engineers. You will need to be technically capable, credible, and curious in your own right as a trusted AWS Neuron engineer, innovating on behalf of our customers. Your responsibilities will involve tackling crucial challenges alongside a talented engineering team, contributing to leading-edge design and research in compiler technology and deep-learning systems software. Strong experience in programming languages, compilers, program analyzers, and program synthesis engines will be a benefit in this role. A background in machine learning and AI accelerators is preferred but not required.

  • designing, developing, and deploying analyzers for ML compiler stages and compiler IRs
  • architect and implement business-critical tooling
  • publish cutting-edge research
  • mentor a brilliant team of experienced scientists and engineers
  • tackling crucial challenges alongside a talented engineering team
  • contributing to leading-edge design and research in compiler technology and deep-learning systems software
  • Experience programming in Java, C++, Python or related language
  • Experience in any of the following areas: algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, high-performance computing
  • PhD, or Master's degree and 2+ years of CS, CE, ML or related field experience
  • Experience in professional software development
  • Publication record in automated reasoning or compiler construction
  • Knowledge of interactive theorem provers such as Lean
  • Experience with heuristic search, e.g., fuzzers
  • full range of medical, financial, and/or other benefits
© 2024 Teal Labs, Inc
Privacy PolicyTerms of Service