Research Engineer
Harmonic is hiring for Research Engineer in Palo Alto. Mid level. First seen August 6, 2026, posted 2 times; open as of November 11, 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 6, 2026
- Postings
- 2
- Listed via
- Ashby
What the posting says
The successful candidate will play a key role in advancing verifiable reasoning by developing new algorithms, models, and RL techniques. KEY RESPONSIBILITIES - Conduct high-quality research in the intersection of RL and formal methods, with a focus on mathematical theorem proving. - Develop and implement novel RL algorithms and models for theorem proving. - Collaborate with a multidisciplinary team to integrate RL techniques with formal methods. - Stay abreast of the latest developments in RL, formal methods, and related fields. MINIMUM QUALIFICATIONS - BS or MS in Computer Science,…
Read more and apply on Harmonic's site
More jobs like this
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 jobs in Palo Alto, new matches every morning on your own account.