We Love AI Jobs
Harmonic
We are forging the worlds most advanced mathematical reasoning engine
Website
9 open positions
Open Positions at Harmonic
Research Engineer, Formal Methods
External
Harmonic
Palo Alto
Full-time
Lean4
Coq
Isabelle
Agda
Formal Verification Engineer
External
Harmonic
Palo Alto
Full-time
Aristotle
Lean 4
Software Engineer, Product
External
Harmonic
Palo Alto
Full-time
175,000 – 300,000Aristotle
Lean 4
Software Engineer, ML Systems
External
Harmonic
Palo Alto
Full-time
Research Engineer, Training & Inference
External
Harmonic
Palo Alto
Full-time
200,000 – 450,000PyTorch
JAX
TensorFlow
NCCL
Software Engineer, Infrastructure
External
Harmonic
London
Full-time
Aristotle
Lean 4
General Opportunity
External
Harmonic
Palo Alto
Full-time
Research Engineer
External
Harmonic
Palo Alto
Full-time
200,000 – 450,000PyTorch
Software Engineer
External
Harmonic
Palo Alto
Full-time
175,000 – 350,000Lean4