Formal Verification Engineer
On-sitePalo Alto, California, United States
Job Summary
Translate design intent into precise properties, utilize Aristotle to execute formal proofs, and accurately diagnose verification failures for production hardware and software. Manage project scope and technical risk while maintaining direct communication with customers to deliver reproducible workflows. Quickly develop a comprehensive technical understanding of complex code across new domains and identify critical properties for targeted formal specifications. Work with the product team to improve Aristotle based on field observations and travel to customer sites. This role supports Harmonic's mission to build a mathematical reasoning engine that verifies AI reasoning using Lean 4 and reinforcement learning.
Required Qualifications
- 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
Desired Qualifications
- MS or PhD in Computer Science, Mathematics, or a related field
- Lean 4 expertise or strong fluency in another proof assistant
- Experience applying formal verification methods to real-world industrial or commercial systems
- Proven track record of high-caliber research demonstrated by publications, patents, or software contributions
- Proven track record of high-quality research demonstrated by publications, patents, or software contributions
- Contributions to open-source projects or development of software tools in the field
Hiring someone like this?
Get your role in front of qualified candidates on Sorce.