Senior Applied Scientist, Neuro-Symbolic AI

Quick Facts

• Role: Senior Applied Scientist focused on neuro-symbolic AI

Description

We are looking for researchers who build super-intelligent AI systems that leverage proof assistants to guide learning and reasoning. You will help define and develop product features end-to-end by implementing scalable, efficient neuro-symbolic applications for complex problems, while delivering high-quality scientific artifacts.

Role and Responsibilities

• Define and implement new neuro-symbolic applications using scalable and efficient approaches
• Work in an agile, startup-like development environment on the most important work
• Deliver high-quality scientific artifacts

Requirements

• 3+ years 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 related languages
• Experience with neural deep learning methods and machine learning

Benefits

• Sign-on payments and restricted stock units (RSUs)
• Comprehensive health insurance (medical, dental, vision, prescription; Basic Life & AD&D; option for Supplemental life)
• EAP, Mental Health Support, Medical Advice Line
• Flexible Spending Accounts
• Adoption and Surrogacy Reimbursement coverage
• 401(k) matching
• Paid time off
• Parental leave