Formal Verification Engineer

AheadComputing Inc.; Región Centro; Presencial; MXN 1.412.180 - 1.765.225; Jornada completa

Ventajas ofrecidas por este puesto de trabajo

Competitive salary and benefits package

Opportunities for professional growth

Collaboration with talented engineers

Descripción de la vacante

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.

Formación

• Bachelor’s or Master’s degree in a relevant field is required.
• Hands-on experience with data path and control path formal techniques is preferred.
• Strong understanding of microarchitectural concepts and CPU pipeline verification.

Responsabilidades

• Engage in formal verification of architecture and microarchitecture for high-performance RISC-V core.
• Collaborate with design engineers to identify components suitable for formal analysis.
• Develop formal abstract models to verify system-level properties.

Conocimientos

Formal verification techniques

Problem-solving skills

Collaboration

Communication abilities

UVM or similar frameworks

Educación

Bachelor’s or Master’s degree in Computer Engineering, Computer Science, or Electrical Engineering

Herramientas

Model checking tools

Descripción del empleo

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 abstract models to verify system‑level properties such as deadlock freedom and non‑starvation.
• Create innovative verification flows, integrating formal techniques with simulation‑based methods for effective bug detection.
• Build reusable and scalable proof techniques to enhance the formal verification process.

Qualifications & Skills

• 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.
• Familiarity with model checking tools for formal verification.
• Strong problem‑solving skills with excellent written and verbal communication abilities.
• Exceptional organizational skills and high self‑motivation.
• Proven ability to collaborate effectively with diverse design teams.
• Exceptional problem‑solving skills with the ability to identify and troubleshoot complex CPU design issues.
• Familiarity with UVM (Universal Verification Methodology) or similar frameworks.
• Strong understanding of microarchitectural concepts and CPU pipeline verification.
• Experience in creating reusable test environments and verification infrastructure.

What We Offer

• Competitive salary and benefits package.
• Opportunities for professional growth in an innovative startup environment.
• Collaboration with talented engineers passionate about cutting‑edge CPU technologies.
• A flexible and inclusive work culture based in Guadalajara, Mexico