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. 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.
Bachelor's (BS) or Master's (MS) degree in Computer Engineering, Computer Science, Electrical Engineering, or a related field.
Hands-on experience with data path and control path formal techniques.
Experience in creating reusable test environments and verification infrastructure.
A versátil and inclusive work culture based in Guadalajara, Mexico

📌 Manufacturing Validation Specialist (Jalisco)
🏢 AheadComputing
📍 Jalisco