17 days old

CPU Arithmetic HW Formal Verification Engineer

Hillsboro, OR 97123
  • Job Code
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 Intels products. From development, to integration, validation, and manufacturing readiness, our mission is to deliver leadership products through the pursuit of Moores Law and groundbreaking innovations.  DEG is Intels 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

US, Texas, Austin

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.

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.

Posted: 2022-05-02 Expires: 2022-06-02

Before you go...

Our free job seeker tools include alerts for new jobs, saving your favorites, optimized job matching, and more! Just enter your email below.

Share this job:

CPU Arithmetic HW Formal Verification Engineer

Hillsboro, OR 97123

Join us to start saving your Favorite Jobs!

Sign In Create Account
Powered ByCareerCast