Job Description

　　Where mathematics, electrical and electronic engineering and computer science meet you will find the discipline of computer arithmetic. The design of the math elements in chip design, also known as Datapath Design, is nowhere more important than in the design of graphics chips.

　　Graphics cores are filled to the brim with math operations - trigonometry for processing the millions of triangles, texture and lighting computations, ray-tracing, GPU compute operations, machine learning word loads. The list goes on. The 'Datapath' design determines the power consumption, the frequency and the numerical correctness of the chip. The design of optimized and functionally correct Datapath brings math directly in contact with electronics and computer science.

　　The internship position is within 'The Numerics Group', an applied research group focusing on all aspects of mathematical hardware design from architecting, RTL implementation and optimization and formal verification. The group works as an internal consultancy to the GPU cluster groups within 3D and Media IPs. The group is founded on the premise that deep mathematical and logical reasoning can deliver significant hardware benefits in terms of reliability, speed, area and power efficiency. Crucially, the group uses formal verification tools which mathematically prove the correctness of the hardware we design.

　　We seek to grow our body of knowledge in all aspects of numerical hardware design. From automatic design space exploration through to accuracy analysis, the Numerics group offers and faces a myriad of fascinating opportunities and challenges. 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; to engage with and grow into international experts.

　　The Opportunity:

　　As part of seeding the group's expansion we are looking to hire talented interns who will share our passion for computer arithmetic and our value of quality, innovation and insight. Given the range of fascinating challenges the group faces, we have a whole range of projects to match the candidate's skills and interests and the group's latest goals.

　　Project examples:

　　• Formal Super Usage - create an internal tool which using the latest in formal verification technology to find and remove arithmetically dead code. In complex Datapath algorithms, some hardware may actually be redundant but impossible to find by basic linting tools or code review.

　　• Transcendental Function Optimization - transcendental function implementation in hardware is a deeply non trivial design problem. Polynomial datapath is efficiently implementing in hardware, how to best map transcendental functions into polynomial datapath is a design and formal verification challenge. Invent new ways of implementing and formally verifying floating-point hardware.

　　• Automatic Design Space Exploration - some algorithms in graphics are error tolerant. This project explores automatically exploring functionally different designs which are still correct from the application point of view but may have vastly different power, performance and area characteristics. The design space is truly enormous, machine learning algorithms will be required to explore this deeply non convex space.

　　Behavioral traits that we are looking for:

　　Our success hinges on understanding the needs of others, creating ideas with others, being and wanting to be understood by others, growing others as we grow ourselves. We work within the evolving diverse team that is Visual Technologies Team. Successful ideas must be generated as well as disseminated both require equal energy. You are:

　　• Highly inquisitiveScintillating attention to detail

　　• Expertly able and interested in providing complete, clear and concise delivery of complex material, whether emailed, presented, documented or verbalized tailored to the audience.

　　• Excellent creative analytic problem solving skills.

　　This position is not eligible for Intel immigration sponsorship.

　　Qualifications

　　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 school work/classes/research and/or relevant previous job and/or internship experiences.

　　Minimum Skills and Experience that we are looking for:

　　Must be pursuing a Master degree in Mathematics, Electrical or Electronic Engineering, Computer Science or related fields and:

　　3+ months of educational or work experience in programming languages: C/C++, PythonFamiliar with x86 and compilers development

　　Preferred or Desirable Skills and Experience that will make you stand out:

　　Understanding of floating point arithmeticHardware Formal Verification awareness

　　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 continue to advance PC experiences to deliver the real-world performance people demand. 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.

　　Benefits

　　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: $63,000.00-$166,000.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.