Applied Scientist, Neuro-Symbolic AI Labs
About the role
We are looking for researchers 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.
We work closely with academia. Our team includes an Amazon Scholar in mathematics, and we maintain active research collaborations with faculty at leading CS departments (MIT, Berkeley, CMU).
Responsibilities
As an Applied Scientist, you will play a pivotal role in shaping the definition, vision, and development of product features from beginning to end. You will:
- Define and implement new neuro-symbolic applications that employ scalable and efficient approaches to solve complex problems.
- Work in an agile, startup-like development environment, where you are always working on the most important stuff.
- Deliver high-quality scientific artifacts.
Requirements
PhD or equivalent research experience. Experience in any of the following areas:
- SAT
- SMT
- Mechanical theorem proving
- Symbolic simulation
- Programming language type systems
- Program analysis
Qualifications
Experience in professional software development.
Benefits
Amazon offers comprehensive benefits including health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage), 401(k) matching, paid time off, and parental leave. Learn more about our benefits at https://amazon.jobs/en/benefits.
Pay
The base salary range for this position is $142,800.00 - $193,200.00 USD annually (USA, MA, Boston). The package includes sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location.