Formal Verification Engineer
Location
región centro jalisco, región centro jalisco
Job Type
Full-time
Category
Other-General
Posted
June 04, 2026
We are seeking a Formal Verification Engineer to join our team. In this role, you will leverage advanced formal verification techniques to ensure the correctness and performance of high-end RISC‑V cores. You will collaborate closely with architects and RTL engineers, employing cutting‑edge formal tools and methodologies to build innovative verification solutions. This position offers a unique opportunity to shape the development of high‑quality CPU designs and optimize the CPU verification process through rigorous formal analysis and bug detection methods.
Responsibilities- Engage in formal verification of architecture and microarchitecture for high‑performance RISC‑V core.
- Collaborate with architects and RTL design engineers to identify, specify, and verify components suitable for formal analysis.
- Use formal tools and methodologies focused on ensuring the correctness of arithmetic, logical, and data transfer operations.
- Develop formal ab...