Software Engineer, ML Systems
Harmonic · Palo Alto
Frontier labonsite
At a glance
Highlights
- Build the verification engine that catches silent bugs before code ships.
- Own productionization of RL research pipelines to prove ideas at scale.
- Build evaluation and observability tooling to reveal agent training health.
What they offer
- Unlimited PTO
- 401(k) matching
- 100% employer-paid health, vision, and dental for employees and 50% for dependents
- Health Savings Account (HSA) for qualifying health plans
Ideal candidate
Pragmatic, implementation-driven engineer who loves turning nascent 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 skills and disciplined software engineering practices
- Experience building and managing end-to-end ML pipelines in production or research
- Full-stack ML experience 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 (e.g., Kubeflow, Airflow, or Metaflow)
- Experience managing large-scale experiments on AWS, GCP, or Azure
- Proven collaboration with researchers to translate algorithmic requirements into roadmaps
- Hands-on experience with containerization (Docker) and orchestration (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
Posted · Last seen