Harmonic

AI / ML

Overview

Harmonic is an artificial intelligence research lab dedicated to developing Mathematical Superintelligence (MSI).

Key Information

Central Office: Palo Alto, CA, USA
Founded: 2023

Links

Website Careers portal

Latest Jobs

Research Engineer, Formal Methods

🇬🇧 🇺🇸

London, England, UK | Palo Alto, CA, USA

Research Engineer advancing AI-based theorem proving with Lean 4, developing novel approaches to verify software and hardware properties, and collaborating with AI researchers to train systems that reliably check safety-critical systems in aerospace, automotive, and cryptography.

Lean4

Verified Sep 9, 2026 View listing

Formal Verification Engineer

🇬🇧 🇺🇸

London, England, UK | Palo Alto, CA, USA

Formal Verification Engineer translating design intent into precise properties and executing formal proofs with Lean 4, verifying production hardware and software, and collaborating with customers to scope requirements and deliver reproducible verification workflows.

Lean4

Verified Sep 9, 2026 View listing