Formal Verification Engineer - Guadalajara, Mexico
Formal verification for high-end RISC-V cores.
About the role
Ahead Computing is seeking a Formal Verification Engineer to apply formal verification techniques to ensure the correctness and performance of RISC-V cores.
What you'll do
- Leverage formal verification techniques to verify the correctness and performance of high-end RISC-V cores. - Collaborate closely with architects and RTL engineers to build verification solutions. - Employ formal tools and methodologies to optimize the CPU verification process. - Perform rigorous formal analysis and bug detection across CPU designs.
What you'll need
- Experience in formal verification techniques and formal analysis methods. - Hands-on experience working with formal tools and methodologies. - Experience collaborating with architects and RTL engineers on CPU designs. - Background in verification for RISC-V cores or processor architectures.
Skills: formal verification, RISC-V cores, formal tools, CPU designs, RTL engineers
This role has been open 196 days — well above the 67-day median for Design Verification roles.
Design Verification · Design Verification
|
Open roles in category
1268
|
Median days open
67 d
|
Median salary
$185k
|
See the full market breakdown ▾Category comparison, skills in demand, and who else is hiring
| Metric | Ahead Computing | All employers we track in this specialty (1268 roles · 96 employers) |
|---|---|---|
| Open roles in this specialty | 3 | 1268 |
| Open roles in the wider Digital Design & Verification family | 13 | 3359 · 116 employers |
| Median days open | 196 d | 67 d (+129 d vs this employer) |
| Median salary (USD postings) | — | $185k |
Skills observed across this category: formal verification, RISC-V cores, formal tools, CPU designs, RTL engineers
Who's hiring in this category
- Qualcomm · 120 open roles · median 46 d
- NVIDIA · 93 open roles · median 66 d
- AMD · 92 open roles · median 56 d
- Synopsys · 67 open roles · median 42 d
- SiFive · 56 open roles · median 80 d
- Cadence Design Systems · 50 open roles · median 132 d
How we counted: 1268 open Design Verification (Design Verification) roles from 96 employers tracked in the SemiconductorJobs index, counted 27 Oct 2026. Specialty figures count only roles carrying this exact specialty label, so an employer's related work in neighbouring specialties is not included there — it is counted in the wider Digital Design & Verification family row. Figures refresh nightly.