1,775,708open jobs
103,566companies
265,446added this week
Browse all
Salary
$200k – $450k per year
Location
In office (Palo Alto)
Seniority
Senior · 5+ years exp
Employment
Full-Time

Confirmed on the employer's own hiring board on Oct 16, 2026. First seen by Alion on May 7, 2026. Harmonic scores B on the Alion truth index.

Overview
Company
Impact
Profile match
Harmonic is a research laboratory building mathematical superintelligence with verifiable reasoning at its core. Its Aristotle system generates proofs in the Lean formal language so that every claim it makes can be checked mechanically rather than trusted, an approach aimed directly at eliminating hallucination in reasoning. The company was co-founded by the Robinhood founder Vlad Tenev and reached gold medal level performance on international mathematical olympiad problems; its long term aim is a system whose mathematical output requires no human verification.

About Harmonic

At Harmonic, we are building a mathematical reasoning engine that operates with absolute precision. While most AI makes maximum-likelihood guesses, Harmonic's Aristotle uses Lean 4 and reinforcement learning to verify its reasoning and results.

Following our Gold Medal-level performance on the 2025 International Math Olympiad (IMO) and the successful resolution of long-standing open problems, we are proving that AI can master the most rigorous domains of human thought. Backed by some of the world’s most prominent investors, we are intentionally scaling an elite technical team.

Visit ourcompany blogto learn more about what we are working on!

About the Role

We are developing reinforcement learning systems at a scale where standard abstractions frequently fail. Unlike labs that operate primarily through high-level wrappers, we own the entirety of our RL stack. This ownership spans from low-level environment simulators and custom communication primitives to our distributed training loops and inference engines.

We are seeking engineers who view existing libraries as a baseline and the hardware speed itself as the true target. You will be responsible for the architecture powering our agents, with a relentless focus on maximizing the throughput of our reinforcement learning and production workflows.

Key Responsibilities

  • Total Stack Ownership: Maintain and optimize our proprietary RL training and serving infrastructure. You have the authority to refactor any layer-from the Python API down to the CUDA kernels-to achieve peak performance for foundation model workloads.

  • Optimized Training: maximize the throughput of our reinforcement learning system from data generation to model training with sharded multi-node training and inference algorithms.

  • High-Performance Serving: optimize our inference stack for high-throughput reinforcement learning and low-latency LLM production traffic. Tune the inference engine, router, and scheduler, down to custom kernels if need be.

  • Compute Optimization: Identify and resolve performance bottlenecks within our distributed clusters, ensuring optimal throughput and memory efficiency for multi-billion parameter models, balancing memory constraints with compute-heavy training cycles.

Minimum Qualifications

  • BS in Computer Science or a related technical field, or equivalent industry experience

  • 2+ years of relevant, hands-on industry experience

  • Proficiency in Python

  • Experience building or maintaining components within ML frameworks (e.g., PyTorch, JAX, or TensorFlow).

  • Proficiency in either:

    • Understanding of distributed training concepts and collective communication primitives (e.g., NCCL).

      OR

    • Practical experience deploying and profiling models on GPU-accelerated cloud infrastructure.

Preferred Qualifications

  • MS or PhD in Computer Science, Mathematics, or a related field.

  • 5+ years of relevant, hands-on industry experience

  • Proficiency in C++

  • Experience writing or improving kernels (Triton, CuTeDSL, TileLang, CUDA, CUTLASS, ThunderKittens) to resolve low-level bottlenecks.

  • Proven success deploying performant inference at scale using open-source or custom inference engines, routers, etc.

  • Direct experience scaling models via FSDP, Tensor Parallelism, or related sharding techniques on multi-node GPU clusters.

  • Experience designing reinforcement learning systems for high-throughput training and asynchronous data sampling.

What We Offer

  • Unlimited PTO

  • 401(k) matching

  • 100% employer-paid health, vision, and dental benefits for employees and 50% coverage for dependents. Harmonic offers varied health coverage options to select what is best for you and your family.

  • Health Savings Account (HSA) available for qualifying health plans

Equal Opportunity Statement

Harmonic is committed to diversity and inclusivity in the workplace. We are an equal opportunity employer and do not discriminate on the basis of race, religion, national origin, gender, sexual orientation, age, veteran status, disability or any other legally protected status.

Free account
Stop reading job ads. Get the ones that fit.
One free account turns this page into a shortlist built around your stack, your level and your pay.
Match on every job. Stack, seniority, pay and location, scored against your profile.
1,775,708 open roles. Read straight off company career pages, refreshed every day.
Unlimited applications. Every one you send is tracked in one place, on-site or on a company board.
3 tailored CVs a month. Rewritten for the exact job you are applying to. Included free.
Create a free account Continue with Google
Free forever. No card. Under a minute.

Your match

How well do you fit this role?
Two answers are enough for a real match. No account needed.
Check my fit
Answers stay in this browser until you create an account.

Recommended for you based on this role

AI/ML
Similar stack
Same company
Palo Alto
≈ $178k – $338k per year (Estimated) • In office • 5+ years exp • Bachelor's Degree • Mountain View
AI/ML
Reinforcement Learning
AI Agents
Tool Use
Machine Learning
Apply
≈ $223k – $420k per year (Estimated) • In office • 3+ years exp • Bachelor's Degree • Cupertino
Python
C++
C++
PyTorch C++
AI/ML
PyTorch
LLM
Time Series Forecasting
Machine Learning
Apply
$74k per year • Hybrid • Full-Time • 5+ years exp • Bachelor's Degree • Atlanta
AI/ML
NIST AI RMF
Management
Service Desk
Apply
$185k – $215k per year • In office • Campbell
AI/ML
AI Agents
InfiniBand
Machine Learning
DevOps
Kubernetes
Apply
$140k – $160k per year • Equity • In office • Full-Time • 3+ years exp • Bachelor's Degree • San Francisco
AI/ML
Claude Code
OpenAI Codex
Apply
≈ $17k – $37k per year (Estimated) • In office • 4+ years exp • Moscow
Python
Python
FastAPI
Django
Databases
PostgreSQL
pgvector
AI/ML
Cursor
LangGraph
LangChain
Claude Code
AI Agents
NLP
GigaChat
LLM
DevOps
Rest API
Management
Agile
Scrum
Apply
$145k – $185k per year • In office • 10+ years exp • Bachelor's Degree • McLean
Python
Python
FastAPI
Databases
Milvus
Pinecone
FAISS
AI/ML
LangChain
LlamaIndex
vLLM
Fine-tuning
TensorRT
TensorRT-LLM
Transformers
PyTorch
LLM
RAG
Hallucination
Hugging Face
LLMOps
LLM Guardrails
DevOps
Terraform
GCP
CloudFormation
Azure
CI/CD
AWS
Docker
Kubernetes
Management
Agile
Apply
$180k – $260k per year • Equity • In office • Full-Time • 4+ years exp • PhD • New York • San Francisco
Python
Rust
Databases
PostgreSQL
AI/ML
AI Agents
DevOps
Pulumi
AWS
Apply
≈ $14k – $30k per year (Estimated) • In office • Full-Time • 4+ years exp • PhD • Bengaluru
Python
PowerShell
Bash
DevOps
GCP
VMWare
Azure
CI/CD
Windows Server
AWS
Amazon S3
Windows
Apply
≈ $164k – $360k per year (Estimated) • In office • Full-Time • Bachelor's Degree • Palo Alto • London
Python
AI/ML
Reinforcement Learning
Apply
≈ $121k – $267k per year (Estimated) • In office • Full-Time • 2+ years exp • Bachelor's Degree • Palo Alto
Python
Cython
Cython
Bottleneck
AI/ML
Reinforcement Learning
Kubeflow
Metaflow
DevOps
GCP
Azure
CI/CD
AWS
Docker
Kubernetes
Analytics
ETL/ELT
Apply
Research Engineer 1 year ago
$200k – $450k per year • In office • Full-Time • Bachelor's Degree • Palo Alto
Python
AI/ML
Reinforcement Learning
PyTorch
Machine Learning
Apply
≈ $127k – $288k per year (Estimated) • In office • Full-Time • Bachelor's Degree • Palo Alto • London
Python
C++
MATLAB
AI/ML
Reinforcement Learning
Apply
$175k – $300k per year • In office • Full-Time • 5+ years exp • Bachelor's Degree • Palo Alto
Python
JavaScript
TypeScript
AI/ML
Reinforcement Learning
Frontend
GraphQL
React.js
Apply
Senior AI Engineer 9 hours ago
≈ $28k – $61k per year (Estimated) • In office • Full-Time • Bengaluru • Palo Alto
Python
Rust
Databases
PostgreSQL
Redis
RabbitMQ
Apache Kafka
AI/ML
LangGraph
AutoGen
Weights & Biases
LangChain
Ray Serve
Model Context Protocol
vLLM
MLFlow
Embeddings
Function Calling
AI Agents
LLM
RAG
Ray
Semantic Search
Triton
Structured Outputs
Semantic Search
ONNX Runtime
Agentic Workflows
Multi-Agent Systems
Tool Use
Agno
DevOps
Terraform
Helm
OpenTelemetry
Prometheus
Pulumi
CI/CD
Docker
Kubernetes
Grafana
Platform Engineering
Apply
$111k – $153k per year • In office • Full-Time • 3+ years exp • Bachelor's Degree • Palo Alto
Cybersecurity
GDPR
Apply
≈ $42k – $74k per year (Estimated) • In office • Part-Time • Milpitas • Palo Alto • Fremont • Redwood City
Apply
≈ $42k – $74k per year (Estimated) • In office • Part-Time • Milpitas • Palo Alto • Fremont • Redwood City
Apply
≈ $49k – $101k per year (Estimated) • In office • Part-Time • Milpitas • Palo Alto • Fremont • Redwood City
Apply
See all jobs
This is one of many
1,775,708 more open roles from verified company boards, updated every day.