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 stateoftheart 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 custombuilt 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 youll be instrumental in designing developing and deploying analyzers for ML compiler stages and compiler IRs. You will architect and implement businesscritical tooling publish research that advances the state of the art 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 design and research in compiler technology and deeplearning 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.
A day in the life
Why AWS
Amazon Web Services (AWS) is the worlds most comprehensive and broadly adopted cloud platform. We pioneered cloud computing and never stopped innovating thats why customers from the most successful startups to Global 500 companies trust our robust suite of products and services to power their businesses.
AWS Utility Computing (UC) provides product innovations from foundational services such as Amazons Simple Storage Service (S3 and Amazon Elastic Compute Cloud (EC2 to consistently released new product innovations that continue to set AWSs services and features apart in the industry. As a member of the UC organization youll support the development and management of Compute Database Storage Internet of Things (Iot) Platform and Productivity Apps services in AWS. Within AWS UC Amazon Dedicated Cloud (ADC) roles engage with AWS customers who require specialized security solutions for their cloud services.
Inclusive Team Culture
Here at AWS its in our nature to learn and be curious. Our employeeled affinity groups foster a culture of inclusion that empower us to be proud of our differences. Ongoing events and learning experiences including our Conversations on Race and Ethnicity (CORE) and AmazeCon (gender diversity) conferences inspire us to never stop embracing our uniqueness.
Diverse Experiences
AWS values diverse experiences. Even if you do not meet all of the qualifications and skills listed in the job description we encourage candidates to apply. If your career is just starting hasnt followed a traditional path or includes alternative experiences dont let it stop you from applying.
Mentorship & Career Growth
Were continuously raising our performance bar as we strive to become Earths Best Employer. Thats why youll find endless knowledgesharing mentorship and other careeradvancing resources here to help you develop into a betterrounded professional.
Work/Life Balance
We value worklife harmony. Achieving success at work should never come at the expense of sacrifices at home which is why we strive for flexibility as part of our working culture. When we feel supported in the workplace and at home theres nothing we cant achieve in the cloud.
PhD or Masters degree and 4 years of CS CE ML or related field experience
3 years of building models for business application experience
Experience in patents or publications at toptier peerreviewed conferences or journals
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 highperformance computing
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
Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status disability or other legally protected status.
Los Angeles County applicants: Job duties for this position include: work safely and cooperatively with other employees supervisors and staff; adhere to standards of excellence despite stressful conditions; communicate effectively and respectfully with employees supervisors and staff to ensure exceptional customer service; and follow all federal state and local laws and Company policies. Criminal history may have a direct adverse and negative relationship with some of the material job duties of this position. These include the duties and responsibilities listed above as well as the abilities to adhere to company policies exercise sound judgment effectively manage stress and work safely and respectfully with others exhibit trustworthiness and professionalism and safeguard business operations and the Companys reputation. Pursuant to the Los Angeles County Fair Chance Ordinance we will consider for employment qualified applicants with arrest and conviction records.
Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process including support for the interview or onboarding process please visit
for more information. If the country/region youre applying in isnt listed please contact your Recruiting Partner.
Our compensation reflects the cost of labor across several US geographic markets. The base pay for this position ranges from $136000/year in our lowest geographic market up to $223400/year in our highest geographic market. Pay is based on a number of factors including market location and may vary depending on jobrelated knowledge skills and experience. Amazon is a total compensation company. Dependent on the position offered equity signon payments and other forms of compensation may be provided as part of a total compensation package in addition to a full range of medical financial and/or other benefits. For more information please visit This position will remain posted until filled. Applicants should apply via our internal or external career site.