💼 About This Role

You'll develop computational theories of scientific reasoning for program synthesis and neuro-symbolic methods in embodied AI. You'll advance how agents learn causal models from interaction and bridge high-level reasoning with low-level control.

🎯 What You'll Do

• Develop computational theories for program synthesis and neuro-symbolic methods.
• Design and implement novel algorithms for embodied AI systems.
• Collaborate across specializations to integrate world modeling with planning.
• Validate research on physical robots and address sim-to-real challenges.

📋 Requirements

• Publications at top venues like NeurIPS, ICML, or POPL.
• Deep expertise in program synthesis and neuro-symbolic methods.
• Strong foundations in probability theory, optimization, and linear algebra.
• Experience with combining neural networks with symbolic reasoning.

✨ Nice to Have

• PhD in robotics, machine learning, or related field.
• Experience at leading robotics or AI labs.
• Track record of algorithms deployed on physical robots.