RISC-V Formal Verification Engineer - Growth & Innovation
región centro, jalisco, Mexico • Posted May 30, 2026
Job Type:
Full-time
Location:
región centro, jalisco
Posted:
May 30, 2026
Category:
Ingeniería de calidad
Application Deadline:
July 09, 2026
Role Description
A leading technology firm in Mexico is seeking a Formal Verification Engineer to leverage advanced techniques ensuring the performance of RISC-V cores. This role involves collaborating closely with architects and RTL engineers to develop innovative verification solutions. Candidates should have a degree in Computer Engineering or a related field and hands-on experience with formal verification. The company offers a competitive salary, a flexible work culture, and opportunities for professional growth.
#J-18808-Ljbffr
#J-18808-Ljbffr
Interested in this role?
Click the button below to start your application for RISC-V Formal Verification Engineer - Growth & Innovation at AheadComputing Inc..
Apply Now