Datapath Formal Verification Engineer
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.
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:
Work within a small team of world class design and verification experts.
Understand, crystallize and extract the requirements for mathematical hardware blocks with various architects and engineers within the 3D & Media IP teams at Intel.
Own, develop, diagnose & drive Datapath Formal Verification on within 3D & Media, using industry leading tools.
Collaborate with EDA vendors R&D to enhance existing tools and create new ones.
Research new techniques to prove the correctness of datapath components, becoming a datapath formal verification expert in the process.
Educate other members of the GPU group and across the company.
Produce patentable work in a research and invention focused environment.
Attend, publish and present in the most important conferences in the industry.
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:
Friendly and patient with high levels of technical empathy
Generous & motivational with ideas & knowledge
Interested in providing complete, clear and concise delivery of complex material, whether emailed, presented, documented or verbalized tailored to the audience.
Consistent ability to challenge the status quo - tenacious in driving improvements & innovations
Ability to successfully & patiently liaise with and influence multiple groups
Willing and interested in mentoring others
Excellent creative problem-solving, analytical, and communication skills.
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.
Master's Degree or higher in Mathematics, Computer Science, Electronic Engineering or equivalent and 6+ months experience in two or more of the following:
Applied mathematics role
Floating-point arithmetic and implementation
Formal Verification using tools like: Synopsys VC Formal, Cadence JasperGold, or similar
Verilog, SystemVerilog, C++, Python, Perl, TCL
Formal Equivalence Checking
Inside this Business GroupThe 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 StatementAll 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.
BenefitsWe 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