Skip to main content

CPU Arithmetic HW Formal Verification Engineer

Hillsboro, Oregon; Austin, Texas Job ID JR0213290 Job Category Engineering Work Mode Hybrid Experience Level Experienced
Job Description

In this role you will be you part of the Intel E-Core arithmetic hardware formal verification team, which is part of Intel's Design Engineering Group (DEG). Ideally you should have expertise in formal methods of verification including automated theorem proving. Experience in arithmetic methods of hardware implementation are a great benefit. You will be in charge of the verification of arithmetic designs for future Intel E-Core products, as well of the definition and development of the verification infrastructure.

You are expected to be independent and creative with the ability to innovate new solutions and demonstrate uncompromised quality during your work


Minimum Requirements: PhD in Computer Engineering or Electrical Engineering with emphasis on formal verification OR M.S. in Computer Engineering or Electrical Engineering with relevant education or work experience OR B.S. in Computer Engineering or Electrical Engineering plus 4 years of relevant work experience.

Specialization in formal verification is highly desirable.
Good communication and interaction skills are required.
Additional qualifications include:
� Strong software skills
� Experience in industry or academic formal verification tools
� Experience in working with Verilog / System Verilog Assertions
� Familiarity with CPU architecture/assembly

Inside this Business Group
In the Design Engineering Group (DEG), we take pride in developing the best-in-class SOCs, Cores, and IPs that power Intel’s products. From development, to integration, validation, and manufacturing readiness, our mission is to deliver leadership products through the pursuit of Moore’s Law and groundbreaking innovations.  DEG is Intel’s engineering group, supplying silicon to business units as well as other engineering teams.  As a critical provider of all Intel products, DEG leadership has a responsibility to ensure the delivery of these products in a cost efficient and effective manner.

Other Locations


Covid Statement
Intel strongly encourages employees to be vaccinated against COVID-19. Intel aligns to federal, state, and local laws and as a contractor to the U.S. Government is subject to government mandates that may be issued. Intel policies for COVID-19 including guidance about testing and vaccination are subject to change over time.

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.
We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, and benefit programs. Find more information about our Amazing Benefits here:

Working Model
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. In certain circumstances the work model may change to accommodate business needs.
Maggie, Offensive Security Researcher

Maggie Offensive Security Researcher

“I’ve always wanted to do something that changes the world — at Intel, I feel appreciated, and I’ve gained more confidence in myself. It makes me feel like I’m capable of doing great things.”

  • Memory Design Engineer Multiple Locations Apply Now
  • SoC Design Engineer Manager Multiple Locations Apply Now
  • PACKAGE R AND D Engineer Hillsboro, Oregon Apply Now
View All Jobs

No jobs have been viewed recently.

View All Jobs

No jobs have been saved.

View All Jobs