Senior Neuro-Symbolic AI Scientist

Amazon; Boston (MA); On-site; USD 167,000 - 226,000; Full time

Job summary

Amazon is expanding its neuro-symbolic AI research group and seeks researchers to build super-intelligent systems that use proof assistants to guide learning and reasoning. A Senior Applied Scientist will shape the definition, vision, and end-to-end development of product features, and contribute to long-term research directions and scientific publications.

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

Qualifications

• PhD or equivalent research experience.
• Strong programming experience in functional languages such as OCaml, Haskell, Lean or related languages.

Responsibilities

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

Education

PhD or equivalent research experience

Tools

OCaml

Dafny

Haskell

Kotlin

Lean

Rust

Scala

Job description

Amazon is expanding its neuro-symbolic AI research group and seeks researchers to build super-intelligent systems that use proof assistants to guide learning and reasoning. A Senior Applied Scientist will shape the definition, vision, and end-to-end development of product features, and contribute to long-term research directions and scientific publications.

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