Jobs › US jobs › Research Engineer, Formal Methods

Research Engineer, Formal Methods

Harmonic · Palo Alto · All 8 Harmonic jobs

Employment
Permanent
Posted
24 Aug 2026

Email me new Harmonic jobs

Every new job Harmonic posts in the US. One email a week, and only in a week that has new ones.

We email you once to confirm; nothing else is sent until you click the link. We keep your email address and this alert, nothing more, and delete both when you unsubscribe, which takes one click from any email. Privacy policy

Required skills, as the advert states them

  • Python
  • Process Improvement
  • Driving

About this opportunity

ABOUT HARMONIC At Harmonic, we are building a mathematical reasoning engine that operates with absolute precision. While most AI makes maximum-likelihood guesses, Harmonic's Aristotle uses Lean4 and reinforcement learning to verify its reasoning and results. Following our Gold Medal-level performance on the 2025 International Math Olympiad (IMO) and the successful resolution of long-standing open problems, we are proving that AI can master the most rigorous domains of human…

Read the full advert and apply on Harmonic's site →

Collected from Harmonic's own careers site (Ashby). Posted 24 Aug 2026. TUNAI shows an excerpt and the facts it read from the advert; the employer's page has the full description and the application.