Formal Verification Engineer
Harmonic· Palo Alto
onsite seen live 1 day 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
This link goes straight to the employer's ashby page. Posted 54 days ago.We last confirmed it was open 1 day ago.