Senior Formal Verification Engineer – AI SoC Development

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.