Formal Verification Engineer
WSP Harmonic · Palo Alto · listed 71 days ago
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…
Read the full description
Free registration — your contact details plus five quick fields about the role you want, or your CV — unlocks every description on the site, plus the apply link.
- The complete posting, as the employer wrote it
- Apply directly on WSP Harmonic's own site
- A match score on every job, from your profile or your CV
