Formal Verification Engineer

at Intel in Oklahoma City, Oklahoma, United States

Job Description

Job Description

Intel is a company of bold and curious inventors and problem solvers who create some of the most astounding technology advancements and experiences in the world. With a legacy of relentless innovation and a commitment to bring smart, connected devices to every person on Earth, our diverse and brilliant teams are continually searching for tomorrow’s technology and revel in the challenge that changing the world for the better brings.

In this role responsibilities include, although not limited to:

+ Oversees definition, boundaries for formal verification, proper test planning, tracking, evaluating ROI, prioritizing team tasks based on project priorities and influencing key stakeholders.

+ Verification of the microarchitecture including micro-code using primarily ACL2 Theorem Prover and industry standard Formal Verification tools and technologies based on latest theorem proving, symbolic simulation, model checking and equivalence checking algorithms on world class design IPs (Graphics, Server IPs, processors and SOCs).

+ Using the hardware architecture design and RTL implementation details, define the Formal Verification scope, deploy the right strategy to prove the correctness while deploying advanced formal techniques and create abstraction models for convergence on the design, carve out the right boundaries for the design, create comprehensive Formal Verification test plans, track, verify, apply abstraction techniques and converge on complex designs to deliver a high quality design on schedule and articulate the ROI.

+ Improves state-of-the-art approaches currently used by FV team. Analyzes new methodologies, evaluates new tools and corroborate results. May review vendor capability to support Formal Verification development.


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 listed below would be obtained through a combination of your schoolwork/classes/research and/or relevant previous job and/or internship experiences. This is an entry level position and will be compensated accordingly.

Minimum Qualifications:

The candidate must have a Masters or PhD in Computer Science or Electrical Engineering.

+ 6+ months experience with Theorem provers and/or Model-checkers.

Preferred Qualifications:

+ Experience with ACL2 Theorem Prover

+ Experience with Forte/FL

+ Experience with hardware verification

+ Knowledge of x86 Architecture

Inside this Business Group

The Advanced Architecture Development Group (AADG) is a CPU Core development team in Portland, Oregon. If you are excited about advanced development of breakthrough technologies for future-generation CPU cores, please join us. We believe that developing these technologies takes a team of exceptionally talented individuals who work together to visualize, innovate, and make the future of computing possible. Join us to do something wonderful!

Other Locations


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.


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:

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.

Copy Link

Job Posting: JC232784307

Posted On: Jan 22, 2023

Updated On: Feb 10, 2023

Please Wait ...