← All roles

Research Engineer

Harmonic· Engineering
Apply on company site
Palo Alto$200k - $450kFull-timePosted 3mo ago

About the role

Research Engineer role focusing on advancing mathematical theorem proving using reinforcement learning (RL) and formal methods within Harmonic’s Reinforcement Learning & Formal Methods team.

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.

Qualifications

  • 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.

Skills

Required:Reinforcement LearningPython
Nice to have:Formal Methods

Benefits

  • Unlimited PTO
  • 401(k) matching
  • 100% employer-paid health, vision, and dental benefits for employees and 50% coverage for dependents. Harmonic offers varied health coverage options to select what is best for you and your family.
  • Health Savings Account (HSA) available for qualifying health plans
Last updated Aug 4, 2026. Interested? Apply on the company site.
Harmonic logo

About Harmonic

Mathematical Superintelligence

Mathematical Superintelligence

HarmonicMathematicalSuperintelligenceliquid-ai-recruiting-target
Company profileWebsite

More open roles at Harmonic