Senior Formal Verification Engineer
About the role
Ahead Computing is seeking a Senior 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 high-end RISC-V cores. - Collaborate with architects and RTL engineers to build verification solutions. - Employ formal tools and methodologies for bug detection and CPU verification. - Optimize the CPU verification process through formal analysis.
What you'll need
- Experience in formal verification of CPU designs or complex hardware blocks. - Practical experience using formal tools and methodologies for bug detection. - Knowledge of RISC-V cores or related microprocessor architectures. - Experience collaborating with architects and RTL engineers on verification solutions.
Skills: Formal Verification, RISC-V, Formal tools, Bug detection
This role has been open 196 days — well below the 216-day median for Design Verification roles.
Design Verification · EDA Tools
|
Open roles in category
25
|
Median days open
216 d
|
Median salary
—
|
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 (25 roles · 8 employers) |
|---|---|---|
| Open roles in this specialty | 1 | 25 |
| Open roles in the wider Digital Design & Verification family | 13 | 3359 · 116 employers |
| Median days open | 196 d | 216 d (−20 d vs this employer) |
| Median salary (USD postings) | — | — |
Skills observed across this category: Formal Verification, RISC-V, Formal tools, Bug detection
Who's hiring in this category
- Cadence Design Systems · 13 open roles · median 216 d
- NVIDIA · 3 open roles · median 225 d
- Qualcomm · 3 open roles · median 201 d
- AMD · 2 open roles · median 174 d
- Ahead Computing (this employer) · 1 open role · median 196 d
- Astera Labs · 1 open role · median 225 d
How we counted: 25 open Design Verification (EDA Tools) roles from 8 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.