Research Scientist, AI

About the role

As a Research Scientist focused on AI, you’ll develop approaches that improve the accuracy, coverage, efficiency, and generalization of our domain formalizer, autoformalizer, and prover. Your scope spans model training, data quality, representations, and evaluation.

What you'll do

• Develop novel model training and post-training approaches for translating complex domain knowledge into structured representations and enabling precise
• Drive hands-on research in reinforcement learning, synthetic data generation, reasoning, and agentic AI, exploring new techniques to advance model capabilities
• Own and lead end-to-end research initiatives, identifying high-impact directions, setting technical strategy
• Develop rigorous benchmarks and evaluation methodologies to measure reasoning capabilities, robustness, and generalization
• Thrive in This Role If You Have

What you need

• Research
• Machine learning
• Python
• PyTorch