Senior Machine Learning Engineer, Neuro-Symbolic AI Labs
Core
Building super-intelligent AI systems using neuro-symbolic AI technology that leverages proof assistants to guide learning and reasoning.
Role type
Senior Machine Learning Engineer (Neuro-Symbolic AI)
Builds
Scalable and efficient neuro-symbolic applications for complex problems in science and engineering domains.
Domain
Artificial Intelligence / Neuro-Symbolic AI / Research
Deliverable
production ML models
Required skills
software development, system design, architecture, mentoring, tech leadership
Preferred skills
full software development life cycle, coding standards, code reviews, source control, testing, operations
Technologies
proof assistants
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 with leadership responsibilities