Research Engineer, Formal Methods
Harmonic · We are building a mathematical reasoning engine that operates wi…
What Harmonic is hiring for and where it's growing — measured from live, direct-apply postings on their own careers page.
As of 2026-10-02, Harmonic has 9 open roles, -1 net over 28 days — cooling. We are building a mathematical reasoning engine that operates with absolute precision, using Lean 4 and reinforcement learning to verify reasoning and results.
Harmonic is hiring across Full-Stack Jobs, AI/ML Jobs, DevOps & Infra Jobs. See what these roles pay on the Full-Stack Jobs salary tracker, or whether employers like Harmonic post salary ranges on the pay-transparency tracker.
Harmonic · We are building a mathematical reasoning engine that operates wi…
Harmonic · We are building a mathematical reasoning engine that operates wi…
Harmonic · We are building a mathematical reasoning engine that operates wi…
Harmonic · We are building a mathematical reasoning engine that operates wi…
Harmonic · We are building a mathematical reasoning engine that operates wi…
Harmonic · We are building a mathematical reasoning engine that operates wi…
Harmonic · We are building a mathematical reasoning engine that operates wi…
Harmonic · We are building a mathematical reasoning engine that operates wi…
Harmonic · We are building a mathematical reasoning engine that operates wi…