Research Engineer

Highlights

• Build a mathematical reasoning engine that verifies results with absolute precision.
• Advance theorem proving by integrating reinforcement learning with formal methods.
• Join team behind Gold Medal-level 2025 IMO performance and open problems solved.

What they offer

• Unlimited PTO
• 401(k) matching
• 100% employer-paid health, vision, and dental benefits for employees and 50% coverage for dependents
• Health Savings Account (HSA) available for qualifying health plans

Ideal candidate

Highly motivated researcher who loves rigorous mathematical reasoning and pushing theorem proving forward with an elite, multidisciplinary team.

Requirements

• BS or MS in Computer Science, Mathematics or related technical field, or equivalent industry experience
• Strong programming skills in Python with software development and testing experience
• Experience with deep learning frameworks such as PyTorch
• Strong understanding of algebra, geometry, and analysis
• PhD in Computer Science, Mathematics, or related field (preferred)
• Experience applying AI to practical problems in formal methods (preferred)
• Proven research track record via publications, patents, or software contributions (preferred)
• Contributions to open-source projects or software tools in the field (preferred)
• Strong background in RL relevant to theorem proving, e.g. ML/NLP (preferred)
• Proficiency in formal methods including theorem proving systems (preferred)