[ engineering ]
Formal Verification Engineer
Harmonic- Location
- Not specified
- Work mode
- On-site
- Type
- full time
- Listed
Applications go directly to Harmonic. Ramai takes no fee for placement and no money for ranking.
[ About this role ]
Harmonic is seeking a Formal Verification Engineer to verify production hardware and software using their formal reasoning agent, Aristotle. The role involves working with customers to define requirements, execute formal proofs, and deliver reproducible workflows, while also providing feedback to product and research teams.
Skills and focus areas
- formal verification
- mathematical reasoning
- lean 4
- reinforcement learning
- problem-solving
- customer communication
- technical risk management
- requirements analysis
- property definition
- proof execution
- verification failure diagnosis
Summary written by Ramai from the original posting. Full details and requirements are on Harmonic’s careers page.
[ More at Harmonic ]
See all 9 open roles at Harmonic →[ Similar roles at other startups ]
- Software Engineer - SystemsDoe
- Site Reliability Engineer, Sr. Site Reliability EngineerProve
- Senior Software Engineer, ComputationAurora Solar
- Chief Technology OfficerArtsy
- Staff Technical Program Manager - MobileMX Technologies
- Software Engineer - Full-stackCardless
[ Not quite right? ]
Tell the assistant what you’re after — stage, location, stack, visa sponsorship — and it searches every open role for you. A few questions are free, no account needed.