Senior Machine Learning Engineer, Neuro-Symbolic AI Labs

What you’d do

Build neuro-symbolic AI systems that use proof assistants to guide learning and reasoning, and define and implement new applications across science and engineering domains. Full-time role in an agile, startup-like environment. Found on the employer's careers page on Sep 30, 2026. Apply through the link.