16 days old

Formal Validation Engineer

Intel
Hillsboro, OR 97123
  • Job Code
    JR0211282
Job Description

Come join Intel's Devices Development Group organization in Pre-Silicon Validation. In this role you will be working as part of a pre-silicon validation team for future Intel SoCs or IPs with a focus on formal methods.

Your responsibilities will include but not be limited to:

  • - Validation of an IP or feature using formal methods
  • - Learning the architecture and microarchitecture by formalizing specifications, entering them into verification tools, and debugging failures to the root cause
  • - Decomposing problems to fit within the scope of fully automated formal verification tools
  • - Creating plans for validating portions of a complex microarchitecture using written specs, RTL code and other tests as a guide
  • - Determining what level of formal verification is sufficient for delivery of an IP or feature to customers
  • - Participating in the debug of failures on silicon and developing strategies to detect these failures on RTL models
  • - Engaging with design and validation teams to define, develop and deliver necessary infrastructure and address issues found during execution
  • - Developing tools and methods to streamline IP development to improve quality and reduce development time
  • - Keeping aware of advancements in formal verification tools and methodologies with the goal of determining applicability to owned IP and features


Qualifications

Minimum qualifications are required to be initially considered for this position. Preferred qualifications are in addition to the minimum requirements and are considered a plus factor in identifying top candidates.

Minimum Qualifications:
Candidate will have a Bachelor's degree in Computer Science, Computer or Electrical Engineering with 3+ years of experience -OR- a Master's degree in Computer Science, Computer Engineering or Electrical Engineering with 2+ years experience -OR- a PhD in Computer Science, Computer Engineering or Electrical Engineering with experience in:

  • Reading and interpreting technical specs and Register Transfer Level (RTL) code
  • Applying formal verification tools and methodologies to hardware designs, especially integrated with a silicon design team

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.


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-09 Expires: 2022-06-10

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:

Formal Validation Engineer

Intel
Hillsboro, OR 97123

Join us to start saving your Favorite Jobs!

Sign In Create Account
Powered ByCareerCast