ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
Harmonic
Harmonic is seeking a Formal Verification Engineer to work with customers in defining properties, executing formal proofs, and delivering reproducible verification workflows using their Aristotle reasoning engine. The role involves translating design intent into precise specifications, managing project scope and risk, and providing feedback to improve the product.
Headquarters
San Francisco, California, United States
Company Size
11-50 employees
Founded
2004
Harmonic.ai is a startup intelligence platform and database that maintains a continuously updated index of 35M+ companies and 195M+ professional profiles. Its data engine monitors signals like funding events, leadership hires, role changes, product launches, and social milestones so users can be alerted the moment a company raises a round, hires a CTO, or hits major follower thresholds. Built for investors, go-to-market teams, and talent sourcers, Harmonic provides search, alerts, AI-powered scouting, and integrations to discover prospects, monitor market moves, and power timely outreach.
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for Harmonic.
Harmonic didn’t post a salary, so this is our estimate from similar listings.
10% below the average for this role
Mathematical Formalization Specialist (Lean / Formal Proof Systems)
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox
Mathematical Formalization Specialist - Remote
Labelbox