Software Engineer
Harmonic · Palo Alto
Frontier labonsite$190k–$350k
At a glance
Highlights
- Build systems from scratch bridging AI research and product development.
- Build the verification engine that catches bugs before code ships.
- Translate state-of-the-art AI research into scalable software systems.
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
A collaborative problem-solver excited by AI and software development who thrives in fast-paced teams and loves turning cutting-edge research into robust, real-world products.
Requirements
- BS in Computer Science, Engineering, or a related field
- 2+ years of relevant industry experience
- Proficiency in one or more programming languages
- Experience building, scaling, and maintaining large-scale distributed systems
- Experience with modern software development practices including code reviews and testing
- Proven track record operating successfully in a fast-paced, collaborative environment
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