Senior Formal Verification Engineer – AI SoC Development - US, California, Santa Clara
3 days ago
Job description
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 Qualifications
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 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.
Requirements listed would be obtained through a combination of industry relevant job experience, internship experiences and or schoolwork/classes/research.
Job Type:
Experienced HireShift:
Shift 1 (United States of America)Primary Location:
US, California, FolsomAdditional Locations:
US, California, Santa Clara, US, Oregon, Hillsboro, US, Texas, AustinBusiness group:
Intel makes possible the most amazing experiences of the future. You may know us for our processors. But we do so much more. Intel invents at the boundaries of technology to make amazing experiences possible for business and society, and for every person on Earth. Harnessing the capability of the cloud, the ubiquity of the Internet of Things, the latest advances in memory and programmable solutions, and the promise of always-on 5G connectivity, Intel is disrupting industries and solving global challenges. Leading on policy, diversity, inclusion, education and sustainability, we create value for our stockholders, customers, and society.Posting Statement:
All qualified applicants will receive consideration for employment without regard to race, color, religion, religious creed, sex, national origin, ancestry, age, physical or mental disability, medical condition, genetic information, military and veteran status, marital status, pregnancy, gender, gender expression, gender identity, sexual orientation, or any other characteristic protected by local law, regulation, or ordinance.Position of Trust
This role is a Position of Trust. Should you accept this position, you must consent to and pass an extended Background Investigation, which includes (subject to country law), extended education, SEC sanctions, and additional criminal and civil checks. For internals, this investigation may or may not be completed prior to starting the position. For additional questions, please contact your Recruiter.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, ,890.00 USDThe 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.Work Model for this Role
This role will be eligible for our hybrid work model which allows employees to split their time between working on-site at their assigned Intel site and off-site. * Job posting details (such as work model, location or time type) are subject to change.Similar jobs
We are looking for C & Python (SOC Level) Developer for our client in Santa Clara, CA. · The ideal candidate will have strong embedded systems expertise and hands-on experience in silicon development environments. · Design, develop, and maintain SoC-level firmware components usin ...
4 days ago
C & Python (SOC Level) Developer Dice is the leading career destination for tech experts at every stage of their careers. Our client, Cardinal Integrated Technologies Inc, is seeking the following. · We are looking for a C and Python developer to join our team in Santa Clara, CA. ...
4 days ago
We are looking for Python (SOC Level) Developer for our client in Santa Clara, CA Job Title: C & Python (SOC Level) Developer Job Location: Santa Clara, CA Job Type: Contract Pay Range: $63hr - $68hr. · ...
4 days ago
About the Role Intel's AI SoC organization is building next-generation ASICs for AI applications across edge and cloud. · As a Verification Engineer, you will be part of a dynamic team ensuring functional correctness of complex digital designs. · ...
1 month ago
Job Details: · Job Description: · About the Role Intel's AI SoC organization develops cutting-edge products powering next-generation AI applications. As a Senior Verification Engineer, you will play a key role in ensuring the functional correctness and robustness of complex ASIC ...
3 days ago
Job Details: · Job Description: · Join Intel's AI Revolution Intel's AI SoC organization develops cutting-edge products powering a wide range of AI applications, from edge devices to data center accelerators. If you are an engineer with strong technical and communication skills ...
3 days ago
Diseñamos productos punteros para aplicaciones futuras. Si te gusta resolver problemas complejos y trabajar en un entorno rápido, ¡esto es el rol adecuado! · ...
3 weeks ago
Job Details: · Job Description: · About the Role Intel's AI SoC organization is building next-generation ASICs for AI applications across edge and cloud. As a Verification Engineer, you will be part of a dynamic team ensuring functional correctness of complex digital designs. If ...
3 days ago
About the Role Intel's AI SoC organization develops cutting-edge products powering next-generation AI applications. As a Senior Verification Engineer, you will play a key role in ensuring the functional correctness and robustness of complex ASIC designs for AI workloads. · ...
3 weeks ago
Job Details: · Job Description: · About the Role Intel's AI SoC organization develops cutting-edge products powering next-generation AI applications. As a Senior Verification Engineer, you will play a key role in ensuring the functional correctness and robustness of complex ASIC ...
3 days ago
Job Details: · Job Description: · Intel's AI SoC organization develops cutting-edge products powering a wide range of AI applications—from edge devices to data center accelerators. If you are an engineer with strong technical and communication skills who thrives in a fast-paced ...
3 days ago
Job Details: · Job Description: · About the Role Intel's AI SoC organization develops cutting-edge products powering a wide range of AI applications, from edge devices to data center accelerators. If you are an engineer with strong technical and communication skills who thrives ...
3 days ago
Job Details: · Job Description: · About the Role Intel's AI SoC organization develops cutting-edge products powering a wide range of AI applications, from edge devices to data center accelerators. If you are an engineer with strong technical and communication skills who thrives ...
3 days ago
Job Details: · Job Description: · About the Role Intel's AI SoC organization develops cutting-edge products powering next-generation AI applications. As a Senior Verification Engineer, you will play a key role in ensuring the functional correctness and robustness of complex ASIC ...
3 days ago
We're looking for an experienced systems/chip test development engineer to drive the conception and design of a new class of testers, along with the definition of customized test hardware for our chipsets. · We'll also need you to troubleshoot issues and actively contribute to so ...
2 weeks ago
This role is responsible for developing the SoC vertical and business strategy at Bluehatsoft. · This individual must build strong relationships between external and internal partners to develop the strategic alliances required to grow our clientele and revenue. · Identify and de ...
1 month ago
This role is responsible for developing the SoC vertical and business strategy at Bluehatsoft. · Identify and develop strategic alliances essential for Bluehatsoft's growth as a provider of Firmware and Software services focused on the Embedded systems market · ...
3 weeks ago
This experienced business development manager will develop strategic alliances to grow Bluehatsoft's market share in SoC verticals. · ...
1 week ago
We are seeking a C & Python (SOC Level) Developer for a contract position at our client Cardinal Integrated Technologies Inc. · ...
4 days ago
NVIDIA is looking for a Senior SOC Design Engineer to join our SOC Design team At NVIDIA, you'll collaborate with brilliant minds to build cutting-edge GPUs and SOCs that power everything from AI to gaming As a Senior SOC Design Engineer, you'll work at the forefront of technolog ...
1 month ago