# Senior Formal Verification Engineer – AI SoC Development

Hiring organization: [Intel](https://career.thegoodapps.co/organizations/intel)

Canonical page: https://career.thegoodapps.co/jobs/3e8ac950-5e6d-4ec1-ba8f-eb6941957fbf

Listed on Intel's own careers site. Applications go to them directly.

- Employment type: full time
- Seniority: Senior
- Salary: 220920 – 311890 USD per year

## Summary

This role leads formal verification strategy for Intel's AI chip designs, ensuring correctness through advanced formal methods and SystemVerilog assertions. It suits senior engineers with deep expertise in formal verification methodologies who can mentor others and drive sign-off on complex SoC blocks.

_Our summary, not Intel's wording._

## Skills named

Perl, Python, Tcl

## Required

- Bachelor's degree in Electrical Engineering, Computer Engineering, or Computer Science
- 10+ years of related experience
- 7+ years of ASIC/SoC verification experience
- 3+ years of formal verification experience

## Nice to have

- Expertise in formal verification tools (JasperGold, VC Formal, Questa Formal)
- Strong SystemVerilog Assertions and property-based verification knowledge
- Deep understanding of digital design, clock domain crossings, and low-power techniques
- Familiarity with UVM-based simulation environments
- Scripting skills in Python, TCL, or Perl
- Project leadership and cross-functional collaboration
- Analytical skills and attention to detail

Apply on Intel's site: https://intel.wd1.myworkdayjobs.com/en-US/External/job/US-California-Folsom/Senior-Formal-Verification-Engineer---AI-SoC-Development_JR0279196