← Back to roles

Formal Verification Engineer

Ahead Computing

Guadalajara, MXRISC-VRTL / HDLVerificationPosted Aug 11, 2026
Apply on Ahead Computing

Overview

Ahead Computing
Open roles
14
At this company
See all
Similar roles
32
Same title, 14 companies
Search
Added in 30 days
8
At this company, still open

Skills named in this posting

  • Formal verification
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.

Apply on the employer's site

Original posting: aheadcomputing.com

Apply on Ahead Computing

RISC-V ecosystem

Ahead Computing in the RISC-V ecosystem

RISC-V International: Strategic Start-Up

AheadComputing is a company founded by engineers with over 80 years of experience in delivering popular microprocessors.

  • Building general-purpose RISC-V CPU cores; positions its solution as "RISC-V Without Compromise"
  • CEO Dr. Debbie Marr blog post "Why We Chose RISC-V to win" (Jun 2026)
  • Announced $21.5M raise (Apr 2026) to advance the work

Same employer

More roles at Ahead Computing

View all 14