Research Scientist / Research Engineer

About this role

Join a founding-stage AI data company building verifier-grounded training data for frontier models using formal methods and simulation. You'll design automated pipelines to generate high-quality, physically and logically consistent training data while collaborating directly with leading AI labs.

What you'll do

• Design and build automated data generation pipelines using formal methods, simulators, and oracle databases
• Research novel approaches to encoding physics, biology, and logic into natural language training data
• Partner with frontier AI labs to understand data requirements and translate them into scalable solutions
• Run experiments evaluating synthetic and verifier-grounded data impact on model performance
• Contribute to company technical direction and strategy as an early team member
• Maintain rigorous standards for data quality and training methodology

What they're looking for

• Machine learning and AI research
• Large language models
• Formal verification systems (Lean, Coq, Isabelle)
• Data pipeline engineering
• Robotics simulation or scientific computing
• Synthetic data generation
• First-principles problem solving
• Experimental design and evaluation

Benefits

• Competitive salary $100,000–$300,000 annually based on experience
• Early-stage equity as founding team member
• Relocation support available
• Full-time, on-site role in San Francisco
• Significant scope and ownership in early-stage environment
• Direct collaboration with frontier AI labs