Apply Now    
Job ID: JR0123001
Job Category: Intern/Student
Primary Location: Hillsboro, OR US
Other Locations:
Job Type: Intern

Formal Verification Research Intern

Job Description

Responsibilities may be diverse of a technical nature. U.S. experience and education requirements will vary significantly depending on the unique needs of the job.

Job assignments are usually for the summer or for short periods during breaks from school.



Must possess the below minimum qualifications to be initially considered for this position. Experience listed below would be obtained through a combination of school work, classes, research and/or relevant previous job and/or internship experiences.

Minimum requirements:

- The candidate must be pursuing a Ph.D. degree related to formal methods for software and/or hardware verification for a period of two years.
- +1 year of practical experience of developing and/or using formal verification tools for software and/or hardware.
- + 2 years of good software engineering skills in Python, C/C++/C#.

Preferred qualifications:

- Experience on:

  • applying formal verification techniques to industrial-scale problems.
  • computer architecture, system architecture and compiler design.
  • research 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.

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....

Apply Now    

What would you like to do now?

Connect with Us

Get Job Alerts

Get started
Student Center

Find out more about working at Intel

Learn more
Hiring Process

Hiring Process

Learn more

Grow your network of opportunities