Research Engineer
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.
PythonMachine Learning
This posting is pulled directly from Harmonic Security's own Ashby page and applying happens on their site, not here. Posted 2025-07-10; Skip The Boards re-checks every company's board regularly and removes listings that disappear from the source.