Job Description

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

You must possess the below minimum qualifications 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 must have either a Bachelors degree in Computer Science, Computer/Electrical Engineering and 5+ years of experience in/with: - OR - a Masters degree in Computer Science, Computer/Electrical Engineering and 3+ years of experience in/with: - OR - a PhD in Computer Science, Computer/Electrical Engineering and 1+ years of experience in/with:

* 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
The Silicon Engineering Group is a worldwide organization focused on the development and integration of SOCs, Cores, and critical IPs that power Intels leadership products. This business group leverages an incomparable mix of experts with different backgrounds, cultures, perspectives, and experiences to unleash the most innovative, amazing, and exciting computing experiences.

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.

USExperienced HireJR0146873Hillsboro