Research Engineer, Formal Methods

Harmonic · Palo Alto

Posted by employer

Aug 24, 2026

Sponsorship

Not stated

Found here

Aug 27, 2026

From the posting

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 Lean4 and reinforcement learning to verify its rea…

This description was written by Harmonic, not by HelloStamped. We show what the posting said and link you to it — we do not verify employers, and a listing appearing here is not a recommendation.