Skip to content
← Harmonic

Software Engineer, ML Systems

Harmonic · Palo Alto

CHECKED 5H AGO

Frontier labonsitemid-level
Apply on the lab’s site ↗

At a glance

Highlights

  • Build production machinery proving nascent research ideas at scale.
  • Work on Aristotle mathematical reasoning engine with verified precision.
  • Join elite team after Gold Medal-level 2025 IMO performance.

What they offer

  • Unlimited PTO
  • 401(k) matching
  • 100% employer-paid health, vision and dental benefits, 50% for dependents
  • Health Savings Account (HSA) for qualifying health plans

Ideal candidate

Pragmatic, implementation-driven engineer who thrives turning messy research ideas into robust, scalable systems and partnering closely with researchers to unlock their full potential.

Requirements

  • BS in Computer Science, related technical field, or equivalent industry experience
  • 2+ years of relevant industry experience
  • Expert-level Python with disciplined testing, versioning, and modular design
  • Experience building and managing end-to-end ML pipelines in production or research environments
  • Comfortable across full-stack ML from data engineering to model debugging
  • Experience refactoring research-grade code into scalable production packages
  • Experience designing data-loading and evaluation systems for non-deterministic models
  • Experience with workflow orchestration tools such as Kubeflow, Airflow, or Metaflow
  • Experience managing large-scale experiments on AWS, GCP, or Azure
  • Proven collaboration with researchers to translate algorithms into engineering roadmaps
  • Hands-on experience with Docker and Kubernetes

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 ↗