Research Scientists on the MARA (Modeling, Abstraction, and Reasoning Agents) project develop computational theories of scientific reasoning applied to robotics and embodied intelligence. You will advance the frontiers of world modeling, reinforcement learning, program synthesis, and robotic control to create systems that can learn, reason about, and interact with the physical world.
We are looking for exceptional researchers with expertise in Program Synthesis & Neuro-symbolic Methods. The ideal candidate has a strong publication record in relevant venues, combines theoretical depth with practical implementation skills, and is excited about building systems that learn like scientists—forming hypotheses, conducting experiments, and building models of how the world works.
You will work as part of an interdisciplinary team tackling fundamental questions: How can agents learn causal models from interaction? How do we bridge high-level reasoning with low-level control? How can we generate interpretable, verifiable control programs rather than black-box policies?
Basis is a collaborative effort, both internally and with our external partners; we are looking for people who enjoy working with others on problems larger than ones they can tackle alone.