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.

Features

Auto Apply Resume Optimizer Cover Letter Optimizer Interview Prep

Company

Social Media

Need Help?

team@applyblast.com

Formal Verification Engineer at Harmonic - ApplyBlast

Formal Verification Engineer

Harmonic

2 months ago

3.4 on Glassdoor

Palo Alto, California, United States

Onsite

Full Time

Medior

0 applicants

View Job Listing

Apply to 100+ jobs

About this role

The Formal Verification Engineer role at Harmonic involves verifying production hardware and software using the Aristotle formal reasoning agent. The position requires collaborating with customers to define requirements, execute formal proofs, and deliver reproducible workflows while providing feedback to the product and research teams. This role demands a rigorous problem-solver with expertise in formal verification who can adapt to customer needs and expand the capabilities of Aristotle.

Responsibilities

Execute formal proofs and diagnose verification failures using Aristotle
Translate design intent and business requirements into precise formal specifications
Manage project scope and technical risk while communicating with customers

Skills

Qualifications

BS in Computer ScienceBS in MathematicsMS in Computer ScienceMS in MathematicsPhD in Computer Science

About Harmonic

harmonic.fun

Headquarters

Palo Alto, California, United States

Company Size

1-10 employees

View Profile

Harmonic is a pioneering platform focused on leveraging artificial intelligence for formal mathematical reasoning. The company aims to enhance human advancement in science and engineering by developing mathematical superintelligence, which accelerates the discovery of fundamental truths about our universe. Through its innovative tools and technologies, Harmonic empowers researchers and scientists to solve complex problems by utilizing the language of mathematics as a means of reasoning.