Job Details:
Job Description:
In this role, the candidate will work with a group of researchers in Intel Labs to apply state-of-the-art formal verification techniques on the end-to-end formal verification of an accelerator design.
Responsibilities may include:
- Formal verification of the hardware implementation of the accelerator.
- Formal verification of the compiler/runtime of the accelerator.
- Modeling and verification tool enhancements to support the verification tasks.
This is an internship position and compensation will be given accordingly.
Qualifications:
You must possess the minimum qualifications below 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. The experience listed below would be obtained through a combination of your school work/research and/or relevant previous job and/or internship experiences.
Minimum Qualifications:
The candidate must be pursuing a Ph.D. degree in Computer Science on CAD (Computer Aided Design) research related to formal methods for compiler and/or hardware design and verification.
Preferred Qualifications:
- Strong software engineering skills
- 1+ years of experience of hardware/software formal verification tool development and practice.
- Experience and knowledge of computer architecture/micro-architecture, and domain-specific applications such as machine learning, security, etc.
Job Type:
Student / Intern
Shift:
Shift 1 (United States of America)
Primary Location:
US, Oregon, Hillsboro
Additional Locations:
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.
Business group:
Intel Labs is the company’s world-class, industry leading research organization, responsible for driving Intel’s technology pipeline and creating new opportunities. The mission of Intel Labs is to deliver breakthrough technologies to fuel Intel’s growth. This includes identifying and exploring compelling new technologies and high risk opportunities ahead of business unit investment and demonstrating first-to-market technologies and innovative new usages for computing technology. Intel Labs engages the leading thinkers in academia and industry in addition to partnering closely with Intel business units.
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.
Position of Trust
N/A
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. In certain circumstances the work model may change to accommodate business needs.
