Engineering Jobs at Harmonic.ai

Harmonic builds a mathematical reasoning engine that uses the Lean 4 proof assistant and reinforcement learning to verify its reasoning and results.

Its roles are in Palo Alto, CA, US (9) and London, UK (3).

You own whole parts of the product rather than one service inside a large system. Expect to write the code, deploy it, and get paged when it breaks. Reviews are quick and the codebase is small, so a decision made on Tuesday can ship on Thursday.