# Research Engineer at Harmonic

- Company: Harmonic
- What the company does: Mathematical Superintelligence. Backed by Index, Kleiner Perkins and Sequoia.
- Company website: https://harmonic.fun/
- Type: Startups
- Level: Mid level
- Location: Palo Alto
- Work setup: On-site
- Pay: $200K to $450K base salary per year (USD)
- Posted: 2025-07-10
- Apply by: 2026-10-08
- Apply: https://jobs.ashbyhq.com/harmonic/700d7dd6-db2b-4693-9e11-40fb755a54c4
- Page: https://www.1752.vc/careers/jobs/harmonic-research-engineer/

## About the role

We are seeking a highly motivated and skilled Research Engineer to join our Reinforcement Learning & Formal Methods team. This position will be focused on advancing mathematical theorem proving using cutting-edge RL techniques. The successful candidate will play a key role in developing new algorithms and models that integrate RL with formal methods to solve complex problems in theorem proving and beyond.

## What they're looking for

- BS or MS in Computer Science, Mathematics a related technical field, or equivalent industry experience
- Strong programming skills in Python, with experience in software development and testing
- Experience in deep learning frameworks such as PyTorch
- Strong understanding of mathematical concepts, including algebra, geometry, and analysis
- PhD in Computer Science, Mathematics, or a related field
- Experience in applying AI to solve practical problems in formal methods

Tags: Engineering