Senior Formal Verification Engineer – AI SoC Development

About this role

Job Details: 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. 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. Qualifications: Minimum Qualification

Apply for this role on Intel’s official careers site.