Senior Formal Verification Engineer – AI SoC Development

Intel
United States
Workplace: HybridFull timeUSD 220,920 - 311,890 annuallyFunction: Data Science & Machine LearningExperience: 7+ yearsEducation: bachelorsSkills: ["Analytical skills","Attention to detail","Collaborative mindset","Ability to lead","Cross-functional collaboration"]

Own formal verification strategy and execution for complex AI SoC IP blocks and subsystems. Build and maintain formal verification environments using SystemVerilog Assertions and industry-standard tools, writing properties, coverage goals, and constraints for exhaustive verification. Partner with design and simulation teams to identify corner cases, drive formal sign-off with convergence and coverage closure, and support pre-silicon verification plus chip bring-up and post-silicon debug. Mentor engineers and improve verification methodology and infrastructure.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
Intel
Intel
7 months ago

Senior Formal Verification Engineer – AI SoC Development

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 3 hours agoStatus: Live
Reposted: similar role first listed 1 month ago

Job Summary

Own formal verification strategy and execution for complex AI SoC IP blocks and subsystems. Build and maintain formal verification environments using SystemVerilog Assertions and industry-standard tools, writing properties, coverage goals, and constraints for exhaustive verification. Partner with design and simulation teams to identify corner cases, drive formal sign-off with convergence and coverage closure, and support pre-silicon verification plus chip bring-up and post-silicon debug. Mentor engineers and improve verification methodology and infrastructure.
Location: United States
Workplace: Hybrid
Employment Type: Full time
Job Function: Data Science & Machine Learning
Seniority: Mid level

Key Responsibilities

  • •Own formal verification strategy and execution for complex SoC IP blocks and subsystems.
  • •Develop and maintain formal verification environments using SVA and formal verification tools.
  • •Write and review formal properties, constraints, and coverage goals for exhaustive verification.
  • •Collaborate with design and simulation teams to identify corner cases and complement dynamic verification.
  • •Drive formal sign-off, including convergence analysis and coverage closure, and support pre-silicon verification plus post-silicon debug.

Pay and Benefits

Salary: USD 220,920 - 311,890 annually
Perks:Health InsuranceRetirementPaid Leave

Key Requirements

  • •Bachelor’s degree in Electrical Engineering, Computer Engineering, or Computer Science with 10+ years of related experience.
  • •7+ years of ASIC/SoC verification experience, including 3+ years focused on formal verification.
  • •Expertise in formal verification methodologies and tools such as JasperGold, VC Formal, and Questa Formal.
  • •Strong knowledge of SystemVerilog Assertions (SVA) and property-based verification.
  • •Ability to lead projects, work cross-functionally, and deliver under tight schedules.
Experience:7+ yearsASIC/SoC verificationFormal verificationUVMProperty-based verification
Education:Bachelor's
Skills:Analytical skillsAttention to detailCollaborative mindsetAbility to leadCross-functional collaboration
Tech Stack:SystemVerilog Assertions (SVA)JasperGoldVC FormalQuesta FormalUVMPythonTCLPerlASICSoCClock domain crossingsLow-power design

Company Brief

Intel
Designs and manufactures semiconductor chips, processors, and related hardware for PCs, data centers, networking, and embedded applications, while providing software and services to accelerate computing across industries globally.
Industry: Electronics Manufacturing
Company Size: Enterprise (1,001+ employees)
Revenue: USD 1B+
Growth: Public Company
Valuation: Public Company (Market Cap in USD)
Funding: IPO / Publicly Listed
Headquarters: Santa Clara, United States
Founded: 1968
Glassdoor
Glassdoor: 3.8
WebsiteLinkedInGlassdoor