Formal Verification Engineer

Harmonic Security · Palo Alto
AshbyEngineeringFull-time✓ Confirmed 5 hours ago
While most AI makes maximum-likelihood guesses, Harmonic's Aristotle uses Lean 4 and reinforcement learning to verify its reasoning and results.
Python
Apply on Harmonic Security's site ↗ ← Back to search

This posting is pulled directly from Harmonic Security's own Ashby page and applying happens on their site, not here. Posted 2026-08-13; Skip The Boards re-checks every company's board regularly and removes listings that disappear from the source.

More at Harmonic Security

See all Harmonic Security jobs →

More jobs like this