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 adaptable work culture, and opportunities for professional growth.