Hiring: Senior Applied Scientist, Neuro-Symbolic AI Labs Company: Amazon Science Location: Boston, MA Job Posted Time: 2026-09-12 17:58:27 Employment Type: Full-time Target Skills & Keywords: Neuro-Symbolic AI, Proof Assistants, Machine Learning, Reasoning, Programming, OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala Experience: - PhD or equivalent research experience - Experience defining and implementing new neuro-symbolic applications - Experience delivering high-quality scientific artifacts - Work in an agile, startup-like development environment Required Skills: - Neuro-symbolic AI research and development - Scalable and efficient problem-solving approaches - Programming in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or related language Qualifications: - PhD or equivalent research experience - Experience programming in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala or related language Compensation: Not specified Interested candidates, please apply directly through the job posting on company's career page or try via AI auto apply on this platform. Don’t miss this opportunity to join a forward-thinking team!