Senior Applied Scientist (Neuro-Symbolic AI)

Quick Facts

Senior Applied Scientist focused on neuro-symbolic AI using proof assistants; define and deliver end-to-end product features and high-quality scientific artifacts.

Description

We are looking for researchers who build super-intelligent AI systems that leverage proof assistants to guide learning and reasoning. You will help shape the vision and development of product features from beginning to end while working on scalable neuro-symbolic applications in an agile, startup-like environment.

Responsibilities

• Define and implement new neuro-symbolic applications that use scalable and efficient approaches to solve complex problems.
• Work in an agile, startup-like development environment, focusing on the most important work.
• Deliver high-quality scientific artifacts.

Requirements

• 3+ years of building machine learning models for business applications.
• PhD, or Master’s degree and 6+ years of applied research experience.
• Experience programming in Java, C++, Python or a related language.
• Experience with neural deep learning methods and machine learning.

Benefits

• Sign-on payments and restricted stock units (RSUs); final compensation based on experience, qualifications, and location.
• Comprehensive health insurance (medical, dental, vision, prescription), Basic Life & AD&D insurance, optional Supplemental life plans, EAP, mental health support, medical advice line, and flexible spending accounts.
• 401(k) matching, paid time off, and parental leave.
• Adoption and surrogacy reimbursement coverage.