Formal Verification Research Intern
Intel
Wyoming, DE, DE
formal verification
research
intern
intel
formal verification
accelerator
design
hardware
research
identifying
software
architecture
government
February 4, 2023
Intel
Wyoming, DE, DE
OTHER, FULL_TIME
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.
Inside this 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.
Covid Statement
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.
Benefits
We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, as well as, benefit programs which include health, retirement, and vacation. Find more information about all of our Amazing Benefits here: https://www.intel.com/content/www/us/en/jobs/benefits.html
Working Model
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.
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.
Inside this 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.
Covid Statement
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.
Benefits
We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, as well as, benefit programs which include health, retirement, and vacation. Find more information about all of our Amazing Benefits here: https://www.intel.com/content/www/us/en/jobs/benefits.html
Working Model
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.
Report this job