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

Qualifications

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

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.