$220,920 – $311,890
Listed on Intel’s own careers site. You apply with them directly — we never stand between you and the employer.
What this role is
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. The full posting is on their site.
What they ask for
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