Senior Formal Hardware Verification Engineer
correctdesigns
About this role
Correct Designs is seeking talented Formal Verification Engineers to verify complex CPU/GPU based SOCs using formal verification tools like Cadence Jasper, Mentor Quest FV, or Synopsys VC Formal. The role involves developing verification test plans, debugging, and creating verification components in a variety of exciting projects in AI, machine learning, aerospace, medical electronics, and more.
Skills
Qualifications
About correctdesigns
correctdesigns.comCorrect Designs is a creative design studio that helps small to mid-sized businesses establish and elevate their brands through branding, web design, and visual communications. They specialize in modern, typography-forward identities and responsive websites that deliver clean, user-centered experiences. The team leverages a WordPress-based platform to build scalable, easy-to-update digital solutions with a focus on usability and performance. Through collaborative discovery and iterative design, they translate business goals into cohesive brand identities and compelling online presences.
About correctdesigns
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Leadership Team
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
Unlock Company Insights
View leadership team, funding history,
and employee contacts for correctdesigns.
Salary
$80k – $120k
per year