Formal Verification Engineer
1 week ago- Dept
- Software Engineering
- Location
- Palo Alto, London
- Comp
- -
Explore Harmonic AI careers: 5 open roles hiring now. Find jobs at Harmonic AI with direct links to apply. Funding stage: Series C. Headcount: 11-50. Harmonic is a US-based AI research company building Mathematical Superintelligence (MSI) — reasoning models whose outputs are formally verified, eliminating hallucinations. Its flagship model, Aristotle, reached formally verified gold medal-level performance on the 2025 International Mathematical Olympiad and is offered as an autonomous mathematician agent and API for researchers and developers. Founded in 2023 by Tudor Achim (CEO) and Robinhood co-founder Vlad Tenev (Executive Chairman), it is headquartered in Palo Alto with a London presence.
This page summarizes open roles, company profile signals, and official application paths so candidates can quickly evaluate fit before applying. Use the role list below to identify team focus, review location patterns, and jump to source listings. For broader comparison across the market, continue to the full company directory and jobs explorer.
Harmonic AI is a Series C stage AI startup, founded in 2023, with $295M in total disclosed funding. Its most recent round was a $120M Series C in Nov 2025. It currently lists 5 open roles across Palo Alto, London. Source: Fast AI Jobs company dataset, updated Aug 2026.
Role links below go directly to official listing pages. Use them as a fast path while the full interactive view loads.
Palo Alto · Engineering · FullTime
Palo Alto · Engineering · FullTime
London · Engineering · FullTime
Palo Alto · Engineering · FullTime
Palo Alto, London · Engineering · FullTime
Company profile last updated on Aug 24, 2026.
Harmonic AI jobs and careers: 5 open roles currently listed here. Review hiring details and apply via the official career page. Official careers page
Harmonic AI is an ai infrastructure company. Harmonic is a US-based AI research company building Mathematical Superintelligence (MSI) — reasoning models whose outputs are formally verified, eliminating hallucinations. Its flagship model, Aristotle, reached formally verified gold medal-level performance on the 2025 International Mathematical Olympiad and is offered as an autonomous mathematician agent and API for researchers and developers. Founded in 2023 by Tudor Achim (CEO) and Robinhood co-founder Vlad Tenev (Executive Chairman), it is headquartered in Palo Alto with a London presence.
Open positions
5 jobs · Newest first
Candidate questions
Harmonic is a US-based AI research company building Mathematical Superintelligence (MSI) — reasoning models whose outputs are formally verified, eliminating hallucinations. Its flagship model, Aristotle, reached formally verified gold medal-level performance on the 2025 International Mathematical Olympiad and is offered as an autonomous mathematician agent and API for researchers and developers. Founded in 2023 by Tudor Achim (CEO) and Robinhood co-founder Vlad Tenev (Executive Chairman), it is headquartered in Palo Alto with a London presence.
Yes. Harmonic AI is hiring and currently has 5 open roles listed on Fast AI Startup Jobs, each with a direct link to the official application page.
Harmonic AI is currently hiring for roles such as Research Engineer, Training & Inference, Software Engineer, ML Systems, Software Engineer, Infrastructure, Software Engineer, Product, Formal Verification Engineer. See the full list of jobs at Harmonic AI above.
Harmonic AI is hiring across Palo Alto, London, Palo Alto, London, and other locations based on its currently open roles.
Harmonic AI has raised $295M in total. The latest known stage is Series C.
Harmonic AI reports an employee count of 11-50.
Company context
Harmonic AI is a Series C stage AI startup, founded in 2023, with $295M in total disclosed funding. Its most recent round was a $120M Series C in Nov 2025. It currently lists 5 open roles across Palo Alto, London. Source: Fast AI Jobs company dataset, updated Aug 2026.