Skip to content
← Harmonic

Software Engineer, Product

Harmonic · Palo Alto

Frontier labonsitesenior$175k–$300k
Apply on the lab’s site ↗

At a glance

Highlights

  • Build the verification engine that catches edge cases before code ships.
  • Own end-to-end product development from inception to polished launch.
  • Shape AI that proves its reasoning for critical hardware and software.

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
  • Equity

Ideal candidate

Driven self-starter with founder mindset who thrives owning systems end-to-end in fast-paced teams. You care about turning complex technical capabilities into intuitive, high-impact products.

Requirements

  • BS in Computer Science, Engineering, related field or equivalent industry experience
  • 5+ years hands-on experience building production applications at scale
  • Proficiency with TypeScript, React or similar modern web technologies and Python for backend
  • Deep experience designing distributed systems, RESTful/GraphQL APIs and frontend-backend integration
  • Experience collaborating with design, product, research and infrastructure to ship user-facing products
  • Proven experience authoring clean, performant code for scalable backend architectures
  • Experience with coding standards, code reviews, source control, build/deployment and testing
  • Experience with experimentation and iterative development
  • Proven work ethic, self-motivation and passion for building impactful products 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
More about Harmonic →
Apply on the lab’s site ↗

Posted · Last seen