Opens intel.wd1.myworkdayjobs.com in a new tab
About This Role
- Intel put Silicon in Silicon Valley.
- No one else is obsessed with engineering and has a brighter future.
- Every day, we create world changing technology that enriches the lives of every person on earth.
- So, if you have a big idea, let's do something wonderful together.
- Join us, because at Intel, we are building a better tomorrow.
- Role Impact: As a Formal Verification Engineer, you will play a pivotal role in ensuring the quality and reliability of Intel's cutting-edge CPU technologies.
- Working as part of the CPU team, you will leverage formal verification methodologies to develop, implement, and validate the next generation of high-performance CPUs that power a variety of innovative devices, from laptops to AI and machine learning systems.
- In this role, you will directly impact Intel's ability to deliver world-class products that enrich the lives of people across the globe.
- Join us and help engineer the future at Intel.
- Key Responsibilities: Own the formal verification of microarchitecture blocks, methodologies, and critical aspects of CPU designs.
- Develop comprehensive formal verification strategies, plans, and proofs aligned with microarchitecture specifications.
- Create abstraction models to simplify design complexity and ensure convergence on validation.
- Collaborate with architects, RTL developers, and physical design teams to enhance verification efficiency.
- Analyze, debug, and resolve issues identified during verification, documenting findings and corrective actions.
- Develop and document formal verification test plans and conduct technical reviews with design and architecture teams.
- Maintain and innovate formal verification infrastructure and methodologies to streamline development.
- Mentor junior engineers and contribute to the growth of technical expertise within the team.
- Support post-silicon failure debug and resolution efforts when required.
Requirements
- to be initially considered for this position.
- Preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates.
- Experience listed below would be obtained through a combination of your degree, research and or relevant previous job and or internship experiences.
Requirements
- Bachelor's degree in Computer Engineering, Electrical Engineering, or a related field with 8+ years of relevant experience listed below, or a Master's degree with 6+ years of relevant experience listed below, or a PhD with 4+ years of experience listed below.
- Experience in 3 or more the following areas: Proficiency in formal verification, including the use of industry-standard tools such as JasperGold, Questa Formal, or VC Formal.
- Strong understanding of computer architecture fundamentals, microarchitecture, and memory systems.
- Hands-on experience with hardware modeling languages, including SystemVerilog or Verilog.
- Proficiency in scripting or programming languages such as Python, Perl, C/C++, or TCL.
- Experience in assertion writing, coverage analysis, and failure debugging.
Nice to Have
- Familiarity with x86 architecture, ISA, and system architecture.
- Experience with post-silicon validation and debugging.
- Demonstrated technical innovation through research publications, patents, or advanced validation methods.
- Strong communication and collaboration skills, with a track record of teamwork in cross-functional environments.
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: $164,470.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-Oregon-Hillsboro/CPU-Formal-Verification-Engineer_JR0281438
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