Harmonic · Palo Alto · Onsite · Jul 2025
Build a mathematical reasoning engine that verifies results with absolute precision.
$200k–$450k
Research EngineersH
Harmonic
HiringFrontier labBuilding Aristotle, a mathematical reasoning engine with Lean 4 verification for absolute precision.
harmonic.ai ↗CHECKED 3H AGO
Open roles (9)
9 open roles
Harmonic · Palo Alto · Onsite · Aug 3
Own end-to-end development of Harmonic's flagship Aristotle product.
$175k–$300k
Software EngineeringHarmonic · Palo Alto · Onsite · May 7
Build production machinery proving nascent research ideas at scale.
Salary not listed
ML Systems EngineeringHarmonic · Palo Alto +1 · Onsite · Aug 13
Verify production hardware and software with Aristotle formal reasoning agent.
Salary not listed
Software EngineeringHarmonic · Palo Alto +1 · Onsite · Aug 24
Build a mathematical reasoning engine that operates with absolute precision.
Salary not listed
Research EngineersHarmonic · Palo Alto · Onsite · Jul 2025
Join Harmonic's talent community for future roles as the team grows.
Salary not listed
Harmonic · Palo Alto · Onsite · May 7
Join a team that achieved Gold Medal-level performance at the 2025 IMO.
$200k–$450k
Research EngineersHarmonic · London · Onsite · May 1
Build infrastructure systems from scratch bridging research and product development.
Salary not listed
Software EngineeringHarmonic · Palo Alto · Onsite · Aug 2024
Build systems from scratch bridging AI research and product development.
$175k–$350k
Software EngineeringLab profile
About the lab
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