Work in Iowa Construction Jobs

Job Information

Intel CPU Arithmetic HW Formal Verification Engineer in Des Moines, Iowa

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.