Intel Corporation · 2 weeks ago
Senior Formal Verification Engineer – AI SoC Development
US, Oregon, Hillsboro
Full-time
Hybrid
Senior Level, Lead/Staff
$215K/yr - $303K/yr
10+ years expIntel Corporation is driving innovation in next-generation ASICs for AI applications across edge and cloud. As a Senior Formal Verification Engineer, you will ensure the functional correctness of complex digital designs using advanced formal methods and shape verification strategies for AI SoCs.
Semiconductors
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
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
Qualification
Required
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
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
Benefits
Health
Retirement
Vacation
Company
Intel Corporation
Our mission is to shape the future of technology to help create a better future for the entire world, that’s the power of Intel Inside.
10001+ employees
H1B Sponsorship
Intel Corporation has a track record of offering H1B sponsorships. Please note that this does not
guarantee sponsorship for this specific role. Below presents additional info for your
reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (2793)
2024 (3717)
2023 (3576)
2022 (4811)
2021 (3359)
2020 (1174)
Funding
Current Stage
Late StageLeadership Team
Brea Watts, MFA
Communications Manager, CEO
Carol Bartz
CEO
Recent News
Company data provided by crunchbase