Senior Formal Verification Engineer – AI SoC Development
Opens intel.wd1.myworkdayjobs.com in a new tab
About This Role
- 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.
Requirements
- Basic Qualifications • 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.
- Preferred Qualifications • Expertise in formal verification methodologies and tools (e.g., JasperGold, VC Formal, Questa Formal). • Strong knowledge of SystemVerilog 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.
Benefits
- We offer a total compensation package that ranks among the best in the industry.
- It consists of competitive pay, stock bonuses, and benefit programs which include health, retirement, and vacation.
- Find out more about the benefits of working at Intel .
- Annual Salary Range for jobs which could be performed in the US: $220,920.00-311,890.00 USD The range displayed on this job posting reflects the minimum and maximum target compensation for the position across all US locations.
- Within the range, individual pay is determined by work location and additional factors, including job-related skills, experience, and relevant education or training.
- Your recruiter can share more about the specific compensation range for your preferred location during the hiring process.
Sourced directly from Intel’s career page
Your application goes straight to Intel.
Opens intel.wd1.myworkdayjobs.com in a new tab
Specialisation
Salary range
₹5-12 LPA to ₹40-70 LPA
Open roles at Intel
712 positions
Job ID
/job/US-California-Folsom/Senior-Formal-Verification-Engineer---AI-SoC-Development_JR0279196
Get matched to roles like this
Upload your resume once. We’ll notify you when matching roles open up.
Join talent pool — freeSimilar Verification roles
Micron Technology
Staff Design Verification Engineer, HBM
Richardson, TX|Verification
Micron Technology
Engineer - Design Verification
Hyderabad - Phoenix Aquila, India|Verification
Analog Devices
Senior Engineer, Design Verification Engineering
Philippines, Bonifacio Global City|Verification
Analog Devices
Senior Design Verification Engineer
US, TX, Dallas, Tollway|Verification