# Formal Verification Engineer at Harmonic

- Company: Harmonic
- What the company does: Mathematical Superintelligence. Backed by Index, Kleiner Perkins and Sequoia.
- Company website: https://harmonic.fun/
- Type: Startups
- Level: Mid level
- Location: Palo Alto
- Work setup: On-site
- Posted: 2026-08-13
- Apply by: 2026-10-08
- Apply: https://jobs.ashbyhq.com/harmonic/5e759f93-e90c-43a9-8c88-af25428237ca
- Page: https://www.1752.vc/careers/jobs/harmonic-formal-verification-engineer/

## About the role

We are seeking a Formal Verification Engineer to verify production hardware and software with Aristotle , our formal reasoning agent. In this role, you will work with customers to scope requirements, define properties, execute formal proofs, and deliver reproducible workflows while feeding insights back to product and research.

## What they're looking for

- BS in Computer Science, Mathematics, a related field, or equivalent industry experience
- Direct experience in hardware verification, software verification, or interactive theorem proving (ITP)
- Demonstrated ability to independently navigate complex concepts, manage risks and deadlines autonomously
- Ability to calibrate communication seamlessly depending on the audience, from deep technical discussions to high-level value justifications and education for customers
- Proficiency and practical experience with at least one proof assistant (e.g., Lean, Coq, Isabelle, Agda) and a strong foundation in formal methods and mathematical logic
- Proficiency in one or more programming languages (e.g., Python, C++, Matlab, etc.)

Tags: Engineering