Data & AI 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.

Harmonic.ai is also hiring in engineering (10).

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

The data is messy and there is not much of it yet. You build the pipeline, train the model, then explain the result to a founder in plain words. Large employers give you a clean warehouse and one narrow question, while here you pick the question too.