General Opportunity
Harmonic · Palo Alto
Frontier labonsite
At a glance
Highlights
- Join Harmonic's talent pool for future roles as team grows.
- Contribute to the path toward mathematical superintelligence.
Ideal candidate
A curious and mission-driven person excited by mathematical superintelligence who wants to stay connected with Harmonic for future opportunities as the team grows.
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
Posted · Last seen