RISC-V Formal Verification Engineer - Growth & Innovation

AheadComputing Inc.

región centro jalisco, región centro jalisco, Mexico
Full-time
Posted June 03, 2026

Job 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