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 · 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…