Formal Verification Engineer is open at Harmonic in Palo Alto. The posting gives no salary; similar roles in the United States advertise a median of $194K. Posted on Aug 13, 2026, and still on Harmonic’s careers page when we last checked, on Nov 14, 2026.
About the role
We are seeking a Formal Verification Engineer to verify production hardware and software with Aristotle https://aristotle.harmonic.fun/, our formal reasoning agent. In this role, you will work with customers to scope requirements, define properties, execute formal proofs, and deliver reproducible workflows while feeding insights back to product and research. We are looking for a rigorous problem-solver with…
The opening lines of the posting. The rest is on Harmonic’s careers page.
Hiring at Harmonic
Harmonic has 9 open roles right now. Most are in Engineering. See all its roles
