Research Engineer, Formal Methods 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 24, 2026, and still on Harmonic’s careers page when we last checked, on Nov 14, 2026.
About the role
We are seeking a highly motivated and skilled Research Engineer to join our Formal Methods team. The initial focus of this position will be on pushing the limits of AI based theorem proving for verification of software and/or hardware. The successful candidate will play a key role in developing new approaches to express and prove important software and hardware properties, work with AI researchers to train and…
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
