Research Engineer

Company

Harmonic

Where

Palo Alto

Level

Mid

First seen

November 7, 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

1. [C] Research Engineer, Discovery

   Anthropic · San Francisco, CA | New York City, NY · $350k–$850k a year · First seen Nov 11

   Save to apply

2. Applied AI Engineer, Creative Experiences

   Pika · Palo Alto HQ · First seen Nov 11

   Save to apply

3. Human-Centered AI Research Intern, Causal Reasoning Models (Summer 2027)

   Toyota Research Institute · Los Altos, CA · $45–$65 an hour · First seen Nov 11

   Save to apply

4. HPE Labs - AI/ML Engineer (Technical Lead)

   hpe · Milpitas, California, United States of America · $178k–$361k a year · First seen Nov 10

   Save to apply

5. HPE Labs - AI/ML Engineer (Technical Lead)

   hpe · Milpitas, California, United States of America · $178k–$361k a year · First seen Nov 10

   Save to apply

See all 571 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 jobs in Palo Alto, new matches every morning on your own account.