Basis aims to understand and build intelligence by establishing mathematical principles of reasoning, learning, and decision-making, and constructing software to implement these principles. They also seek to advance society's ability to solve intractable problems by expanding the scale, complexity, and breadth of solvable problems and accelerating future problem-solving capabilities.
Requirements
- Possess deep expertise in Program Synthesis & Neuro-symbolic Methods
- Domain-specific languages, program induction, verifiable control, neuro-symbolic integration.
- Experience with combining neural networks with symbolic reasoning or program generation.
- Have strong mathematical and computational foundations including probability theory, optimization, linear algebra, and the ability to implement complex algorithms from first principles.
- Be comfortable working across the research-to-development pipeline, from theoretical development through experimental validation.
- Track record of algorithms deployed on physical robot systems.
- Experience with both theoretical research and systems engineering.
Responsibilities
- Develop computational theories of intelligence specific to program synthesis and neuro-symbolic methods, focusing on synthesizing control programs, learning interpretable models, or bridging symbolic reasoning with neural learning.
- Design and implement novel algorithms that push the boundaries of sample efficiency, generalization, interpretability, or robustness in embodied AI systems.
- Collaborate across specializations to integrate world modeling with planning, symbolic reasoning with neural learning, and high-level objectives with low-level control.
- Validate research on physical systems by working with hardware engineers to test algorithms on real robots, addressing the sim-to-real gap and practical deployment challenges.
- Work with domain experts inside and outside Basis to identify impactful applications of MARA technology in scientific discovery, manufacturing, or other domains.
- Distill insights from problem-solving into general mathematical and computational theories that advance our understanding of intelligence.
- Develop and maintain open-source software that enables reproducible research and broader community engagement with MARA technologies.
Other
- Have demonstrated an ability to do scientific research that is of high quality.
- Progress with autonomy and intellectual curiosity.
- Value collaboration and knowledge transfer.
- Be excited about solving real-world problems through embodied intelligence that advances our understanding of and interaction with the physical world.
- In-person Policy: We are in the office four days a week. Be prepared to attend multi-day Basis-wide in-person events.
