Research Engineer, Formal Methods
Harmonic Security · Palo Alto
While most AI makes maximum-likelihood guesses, Harmonic's Aristotle uses Lean4 and reinforcement learning to verify its reasoning and results.
Python
This posting is pulled directly from Harmonic Security's own Ashby page and applying happens on their site, not here. Posted 2026-08-24; Skip The Boards re-checks every company's board regularly and removes listings that disappear from the source.