Applied Scientist, Neuro-Symbolic AI Labs

Amazon Inc.; Seattle, Northern (WA, KY); Hybrid; USD 143,000 - 193,000; Full time

Benefits offered by this job

Health insurance

401(k) matching

Paid time off

Parental leave

RSUs

Job summary

Amazon Inc. in Boston, MA, is seeking an Applied Scientist for Neuro-Symbolic AI Labs to advance research at the intersection of learning and reasoning.

You will define and implement neuro-symbolic applications, work in an agile, startup-like environment, and deliver high-quality scientific artifacts.

The role involves collaboration with academia and a competitive compensation package including RSUs and comprehensive benefits.

Qualifications

• PhD or equivalent research experience required.
• Experience in SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, or program analysis expected.

Responsibilities

• Define and implement neuro-symbolic applications that employ scalable approaches to solve complex problems.
• Work in an agile, startup-like development environment, delivering high-impact results.
• Deliver high-quality scientific artifacts.

Skills

SAT

SMT

Theorem Proving

Symbolic Simulation

Programming Language Type Systems

Program Analysis

Education

PhD or equivalent research experience

Job description

Applied Scientist, Neuro-Symbolic AI Labs

Job ID: 10562737 | Amazon Development Center U.S., Inc.

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.

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.

About the team

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).

Basic Qualifications

• 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.

Preferred Qualifications

• Experience in professional software development

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.

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 https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.

The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location. Amazon also 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 .

USA, MA, Boston - 142,800.00 - 193,200.00 USD annually