25 days old

Security and Formal Verification Researcher (Remote)

Hillsboro, OR 97123 Work Remotely
  • Job Code
Job Description

The mission of Security and Privacy Research is to Establish trustworthiness as a fundamental value proposition on Intel platforms. As an intern in this position, you will join a team of accomplished security technologists to uniquely focus on the definition of next generation of security solutions. You will have the opportunity to showcase your work through whitepapers, presentations, and demos at internal and external forums. Your work will help in laying the foundation for future Intel products.
You will be joining a newly formed group focused on designing and building a new secure by design, formally verified RISC-V processor followed by formally verified software components.

This effort will advance research in formal verification and "correct by construction" methodologies.

Responsibilities will include but are not limited to:

  • Creating formal functional specification, security properties and micro-architecture behavioral models
  • Verifying the correctness of the models and RTL implementations using formal verification tools
  • Developing new modeling and verification capabilities driven by the project needs

There are also opportunities to engage with Intel funded academics working on scalable assurance.


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. Experience would be obtained through a combination of prior education level classes, and current level school classes, projects, research, and relevant previous job and/or internship experience.


Minimum Qualifications:

  • The candidate must possess a Ph.D. degree in Computer Science, Electrical Engineering or any other related major related to formal methods for software and/or hardware design and verification
  • 2+ years practical experience in formal methods for design and verification

Preferred Qualifications:

  • 1+ year in applying formal verification techniques to practical and security related problems.
  • 1+ year with RTL verification.
  • 1+ year in Systems architecture, Computer architecture, Trustworthy Computing, or Cryptographic Protocols
  • Publications in tier-one conferences

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.

Other Locations

US, California, Santa Clara;US, Georgia, Atlanta;Virtual US and Canada

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.

Annual Salary Range for jobs which could be performed in US, Colorado:

We offer a total compensation package that ranks among the best in the industry. It consists of competitive pay, stock, bonuses, and benefit programs. Find more information about our Amazing Benefits here

Work Model for this Role

This role is available as fully home-based and generally would require you to attend Intel sites only occasionally based on business need.

Intel is committed to a culture of accessibility.  Intel provides accommodations to applicants and employees with disabilities.  Find information and request accommodation here

Posted: 2022-04-30 Expires: 2022-05-31

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:

Security and Formal Verification Researcher (Remote)

Hillsboro, OR 97123

Join us to start saving your Favorite Jobs!

Sign In Create Account
Powered ByCareerCast