Intel CPU Arithmetic HW Formal Verification Engineer in Des Moines, Iowa
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.
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.
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: https://www.intel.com/content/www/us/en/jobs/benefits.html
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.
- Intel Jobs