Senior Formal Verification Engineer – AI SoC Development

Job description

Job Description: 

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.

Key Responsibilities

• 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

Additional Responsibilities

• 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.
This is an excerpt. Read the full job description on Intel careers →