Security and Formal Verification Researcher

Hillsboro, OR 97123
  • Job Code
Job Description

Join Intel-and build a better tomorrow. Intel is in the midst of an exciting transformation, with a vision to create and extend computing technology to connect and enrich the lives of every person on Earth. So join us-and help us create the next generation of technologies that will shape the future for decades to come. 

A Security and Formal Verification Researcher initiates the design, development, and execution of scientific research projects to fuel Intel's growth in the areas of computing, communication, technology and manufacturing and new business opportunity. Investigates the feasibility of applying scientific principles and concepts to potential inventions and products typically 3-7+ years prior to landing on a product roadmap, plans and executes laboratory research, maintains substantial knowledge of the state of the-art-principles and theories and contributes to scientific literature and conferences, may participate in the development of intellectual property and may coordinate interdepartmental activities and research efforts.

You will be contributing to this recently announced program by developing and applying formal methods to the hardware and software design and verification of a leading-edge accelerator for fully homomorphic encryption (FHE) workloads with researchers in Intel Labs and other leading-edge security solutions.

Responsibilities will include but are not limited to: 

  • Creating formal ISA (instruction set architecture) and micro-architecture behavioral models of an accelerator
  • Verifying the correctness of the models using formal verification tools
  • Developing new modeling and verification capabilities driven by the project needs

What we offer: 

  • We give you opportunities to transform technology and create a better future, by delivering products that touch the lives of every person on earth. 
  • As a global leader in innovation and new technology, we foster a collaborative, supportive, and exciting environment where the brightest minds in the world come together to achieve exceptional results. 
  • We offer a competitive salary and financial benefits such as bonuses, life and disability insurance, opportunities to buy Intel stock at a discounted rate, and Intel stock awards (eligibility at the discretion of Intel Corporation). 
  • We provide benefits that promote a healthy, enjoyable life: excellent medical plans, wellness programs, and amenities, flexible work hours, time off, recreational activities, discounts on various products and services, and much more creative perks that make Intel a Great Place to Work! 

We're constantly working on making a more connected and intelligent future, and we need your help. Change tomorrow. Start today.


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 requirements

  • Ph.D. degree in CS, CE, and EE 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

  • 1+ years software engineering skills

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

  • Familiarity with data oblivious programming or homomorphic computation.

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.

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.

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

Hillsboro, OR 97123

Join us to start saving your Favorite Jobs!

Sign In Create Account