Datapath Formal Verification Engineer


Posted Feb. 12, 2024

Don't forget to mention FPGAjobs in your application. We are a small team, and these mentions are a huge help to us!

Job Description

This is a unique opportunity to work on cutting edge math intensive logical blocks within the best in class GPU design at Intel Graphics’ group. The GFx Numerics Group is an applied research group focusing on all aspects of mathematical hardware design from architecting, RTL implementation & optimization, structural implementation and formal verification & validation throughout. The group works as a parallel consultancy to the ALU designers working in GPU cluster groups within 3D & Media IPs. We supplement the expertise required by analyzing architecture and APIs, all the way to creating & verifying final structural implementations with process and library involvement – providing full control over the entire development cycle of math blocks on their path to the final product.

We are an applied research group comprised of computer arithmetic experts; founded on the premise that deep mathematical and logical reasoning can deliver significant hardware benefits in terms of reliability, speed, area and power efficiency. As an internal consultancy we work with and enable the existing design and validation teams to achieve their goals. We work to extract the necessary requirements, phrase the right design problem, explore the design space and fully formally prove the correctness of experimental designs. Quality means that challenging legacy decisions comes with the territory, innovation & insight are prized and every bit matters.

We seek to grow our body of knowledge in all aspects of numerical hardware design. From fundamental improvement to the implementation of multiplication and addition, through to the implementation & formal verification of transcendental functions to floating-point error analysis, the group offers and faces a myriad of fascinating opportunities & challenges. What we discover and learn we endeavor to fully utilize, automate and disseminate. We invest in internal tools and work with vendors to continuously explore ways to optimize our design processes. Our aim is for our work to contribute and participate in best in class numerical hardware design within graphics, Intel’s arithmetic community and on the international computer arithmetic stage.

The Opportunity

As part of seeding the group’s expansion we are looking to hire talented individuals who will share our passion for Datapath Formal Verification and our value of quality, innovation and insight. With breadth, depth, applied research, internal customer influence & engagement and offering a unique view of Intel's GPU IP, this role offers a rare opportunity to become a true subject matter expert.

You will help us with the following responsibilities:

Behavioral traits that we are looking for:

Our success hinges on understanding the needs of others, creating ideas with others, being & wanting to be understood by others, growing others as we grow ourselves. Successful ideas must be generated as well as disseminated – both require equal energy. We look for candidates who are:


This is an entry level position and will be compensated accordingly.

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:

Master's Degree or higher in Mathematics, Computer Science, Electronic Engineering or equivalent and 6+ months experience in two or more of the following:

Preferred Qualifications:

Inside this Business Group

The Client Computing Group (CCG) is responsible for driving business strategy and product development for Intel's PC products and platforms, spanning form factors such as notebooks, desktops, 2 in 1s, all in ones. Working with our partners across the industry, we intend to deliver purposeful computing experiences that unlock people's potential - allowing each person use our products to focus, create and connect in ways that matter most to them. As the largest business unit at Intel, CCG is investing more heavily in the PC, ramping its capabilities even more aggressively, and designing the PC experience even more deliberately, including delivering a predictable cadence of leadership products. As a result, we are able to fuel innovation across Intel, providing an important source of IP and scale, as well as help the company deliver on its purpose of enriching the lives of every person on earth.

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.

Annual Salary Range for jobs which could be performed in US, California: $106,231.00-$159,109.00
*Salary range dependent on a number of factors including location and experience

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.