Senior Formal Verification Engineer – AI SoC Development

Intel Corporation-posted 2 days ago
Full-time • Mid Level
Hybrid • Hillsboro, OR
5,001-10,000 employees
Resume
Match Score
Upload and Match ResumeTrack Jobs with Teal

Intel’s AI SoC organization is driving innovation in next-generation ASICs for AI applications across edge and cloud. As a Senior Formal Verification Engineer, you will play a critical role in ensuring the functional correctness of complex digital designs using advanced formal methods. This position offers the opportunity to work on cutting-edge technology and shape verification strategies for AI SoCs.

  • Own formal verification strategy and execution for complex SoC IP blocks and subsystems.
  • Develop and maintain formal verification environments using SystemVerilog Assertions (SVA) and industry-standard formal tools.
  • Write and review formal properties, constraints, and coverage goals to achieve 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.
  • Contribute to pre-silicon verification, chip bring-up, and post-silicon debug support.
  • Mentor junior engineers and establish best practices for formal verification methodology
  • Define and develop scalable, reusable verification plans for block, subsystem, and SoC levels.
  • Execute verification plans and run emulation and system simulation models to validate design, analyze power/performance, and uncover bugs.
  • Debug and root-cause issues in the presilicon environment; implement corrective measures.
  • Collaborate with architects, RTL developers, and physical design teams to improve verification of complex features.
  • Document test plans and lead technical reviews with design and architecture teams.
  • Incorporate and execute security verification activities within regression and debug tests.
  • Maintain and enhance existing functional verification infrastructure and methodology.
  • Apply learnings from post-silicon validation to improve coverage and quality for future products.
  • Bachelor's degree in Electrical Engineering, Computer Engineering, or Computer Science with 10+ years of related experience.
  • 7+ years of experience in ASIC/SoC verification with at least 3+ years focused on formal verification.
  • Expertise in formal verification methodologies and tools (e.g., JasperGold, VC Formal, Questa Formal).
  • Strong knowledge of System Verilog Assertions (SVA) and property-based verification.
  • Deep understanding of digital design concepts, clock domain crossings, and low-power design techniques.
  • Familiarity with UVM-based simulation environments and how formal complements dynamic verification.
  • Scripting skills (Python, TCL, Perl) for automation and flow optimization.
  • Ability to lead projects, work cross-functionally, and deliver under tight schedules.
  • Strong analytical skills, attention to detail, and a collaborative mindset.
  • Requirements listed would be obtained through a combination of industry relevant job experience, internship experiences and or schoolwork/classes/research.
  • We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, as well as, benefit programs which include health, retirement, and vacation.
  • Find more information about all of our Amazing Benefits here: https://intel.wd1.myworkdayjobs.com/External/page/1025c144664a100150b4b1665c750003
Track Jobs with Teal

Job Search Resources

•
Resume Builder
•
Resume Examples
•
Cover Letter Examples

Tools

Career Hubs

Guides

Company

© 2024 Teal Labs, Inc
Privacy PolicyTerms of Service