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
Applied Scientist (Neuro-Symbolic AI)
Builds
Scalable and efficient neuro-symbolic applications solving complex problems
Domain
Artificial Intelligence / Formal Methods / Theorem Proving
Deliverable
production ML models
Required skills
SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis
Preferred skills
Professional software development
Technologies
Proof assistants
Responsibilities
Define and implement new neuro-symbolic applications; Deliver high-quality scientific artifacts
Seniority
PhD level, Researcher
Sourced via amazon · Listed on CareerPlan, which tracks 854,000+ jobs from 20+ sources.