Software Engineer
Harmonic · Palo Alto
CHECKED 4H AGO
Frontier labonsite$175k–$350k
At a glance
Highlights
- Build systems from scratch bridging AI research and product development.
- Work on Aristotle, a mathematical reasoning engine built for absolute precision.
- Join elite team after Gold Medal-level performance at 2025 IMO.
What they offer
- Unlimited PTO
- 401(k) matching
- 100% employer-paid health, vision, and dental benefits for employees and 50% for dependents
- Health Savings Account (HSA) available for qualifying health plans
Ideal candidate
Problem-solver with a few years building distributed systems who thrives in fast-paced, collaborative teams. Passionate about turning cutting-edge AI research into reliable, scalable products.
Requirements
- BS in Computer Science, Engineering, or related field
- 2+ years of relevant industry experience
- Proficiency in one or more programming languages (e.g., Python, C++)
- Experience building, scaling, and maintaining large-scale distributed systems
- Experience with modern software development practices including code reviews and testing
- Proven track record in fast-paced, collaborative environments
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