Senior Applied Scientist, Neuro-Symbolic AI Labs
Core
Building super-intelligent AI systems using proof assistants to guide learning and reasoning, applied across science and engineering domains.
Role type
Senior Applied Scientist (Neuro-Symbolic AI)
Builds
Scalable neuro-symbolic applications and high-quality scientific artifacts
Domain
Artificial Intelligence / Neuro-Symbolic AI / Formal Methods
Deliverable
production ML models
Required skills
PhD or equivalent research experience, defining product vision, implementing scalable approaches, agile development
Preferred skills
Programming in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
Technologies
Proof assistants, OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
Responsibilities
Define and implement new neuro-symbolic applications, work in an agile startup-like environment, deliver high-quality scientific artifacts
Seniority
Senior, hands-on IC
Sourced via amazon · Listed on CareerPlan, which tracks 814,000+ jobs from 20+ sources.