General Opportunity
Harmonic · Palo Alto
CHECKED 5H AGO
Frontier labonsite
At a glance
Highlights
- Join Harmonic's talent community for future roles as the team grows.
- Help build the path to mathematical superintelligence with Harmonic.
- Be kept in mind proactively as well-suited opportunities arise.
Ideal candidate
You're excited by Harmonic's mission of mathematical superintelligence and eager to contribute as the team grows, even if no current role fits.
Lab profile
About Harmonic
Building Aristotle, a mathematical reasoning engine with Lean 4 verification for absolute precision.
What they build
- Aristotle
Known for
- Lean 4 verified reasoning
- Reinforcement learning for reasoning
- Gold Medal-level 2025 IMO performance
- Resolution of long-standing open problems