Principal 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
Principal 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
Java, C++, Python, leading experienced scientists, mentoring junior members from academia/industry
Preferred skills
creating novel algorithms, advancing state of the art, peer-reviewed scientific contributions in premier journals/conferences
Technologies
proof assistants
Responsibilities
Define and implement new neuro-symbolic applications, work in agile startup-like environment, shape product features from beginning to end
Seniority
Principal, strategy & mentorship