Research Scientist, Program Synthesis & Neuro-symbolic Methods
Basis(2 months ago)
About this role
A Research Scientist in Program Synthesis & Neuro-symbolic Methods at Basis focuses on developing computational theories of scientific reasoning to enhance robotics and embodied intelligence. This role involves designing and implementing algorithms that improve sample efficiency and interpretability while collaborating with interdisciplinary teams to integrate symbolic reasoning with neural learning and validate research through experimental deployment on physical robots. Strong expertise in program synthesis, neuro-symbolic methods, and mathematical foundations is essential, alongside a passion for solving real-world challenges in AI.
Required Skills
- Scientific Research
- Program Synthesis
- Neuro-symbolic Methods
- Mathematical Foundations
- Algorithm Implementation
- Experimental Validation
- Collaboration
- Knowledge Transfer
- Problem-solving
- Open-source Software
+5 more
Qualifications
- PhD (or equivalent experience) in technical areas including: robotics, machine learning, computer vision, control theory, cognitive science, or physics.
About Basis
www.basis.aiBasis is an innovative AI research organization dedicated to developing intelligence that can address complex scientific and societal challenges. The company's mission revolves around understanding and building advanced technological solutions that enhance our capability to solve intractable problems. Basis is focused on creating a universal reasoning engine and is actively engaged in both core AI technologies and tackling significant challenges through its research and initiatives.
Apply instantly with AI
Let ApplyBlast auto-apply to jobs like this for you. Save hours on applications and land your dream job faster.
More jobs at Basis
Similar Jobs
Theo Collaborators Program
FirstPrinciples(1 month ago)
Mathematical Formalization Specialist - Remote
Alignerr(1 month ago)
Research Scientist, Condensed Matter Theory
Periodic Labs(2 months ago)
Mathematics Researcher (Masters/PhDs)
Alignerr(1 month ago)
Mathematics Specialist (Masters/PhDs)
Alignerr(1 month ago)
Mathematical Formalization Specialist - Remote
Alignerr(1 month ago)