Research Engineer, Formal Methods
Harmonic is hiring for Research Engineer, Formal Methods in Palo Alto. Mid level. First seen August 25, 2026, posted 2 times; open as of November 10, 2026. Jobs taken straight from company career pages — no aggregator in between.
With Destava: How well do you fit? · Tailor my résumé · Write a cover letter
- Company
- Harmonic
- Where
- Palo Alto
- Level
- Mid
- First seen
- August 25, 2026
- Postings
- 2
- Listed via
- Ashby
What the posting says
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 develop AI systems to reliably check them. KEY RESPONSIBILITIES - Conduct research in formal methods for verification of software, hardware and mathematical domains - Apply formal verification techniques using Lean or similar frameworks to formally verify safety critical systems -…
Read more and apply on Harmonic's site
More jobs like this
Research Scientist
Save to applyResearch Engineer, Cybersecurity RL (Reinforcement Learning)
Save to applyStaff Applied AI Inference Engineer
Save to applyResearch Scientist, Post-Training
Save to apply
See all 208 Computer and Information Research Scientists jobs in San Francisco Bay Area
A search agent finds the jobs this list misses: the ones that mean the same without the same words. Have Destava watch for research engineer, formal methods jobs in Palo Alto, new matches every morning on your own account.
This page includes information from the O*NET 31.0 Database by the U.S. Department of Labor, Employment and Training Administration (USDOL/ETA). Used under the CC BY 4.0 license. O*NET® is a trademark of USDOL/ETA.