Datapath Intern - The Graphics Numerics Group
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 & functionally correct Datapath brings math directly in contact with electronics and computer science.
The internship position is within 'The Numerics Group', a new applied research group focusing on all aspects of mathematical hardware design from architecting, RTL implementation & optimization and formal verification. The group works as an internal consultancy to the GPU cluster groups within 3D & 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. The following gives a flavor of the type of questions we explore http://cas.ee.ic.ac.uk/people/gac1/pubs/TheoISCAS12.pdf. From automatic design space exploration through to accuracy analysis, the Numerics group offers and faces a myriad of fascinating opportunities & 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 & grow into international experts.
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 & 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 & 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:
-Scintillating 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.
Location & Working Environment
The Numerics Group will thrive through its countless lively whiteboard brainstorming, as such all its members will be collocated, based at the Folsom site.
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. This is an entry level position and will be compensated accordingly.
Currently studying a Master’s or PHD in mathematics, electrical or electronic engineering or computer science
At least 6+ months of SW/HW experience or equivalent coursework in the following:
- C++, Python, Perl, TCL experience
Understanding of floating point arithmetic
Hardware Formal Verification awarenessInside this Business Group
Intel Architecture, Graphics, and Software (IAGS) brings Intel's technical strategy to life. We have embraced the new reality of competing at a product and solution level—not just a transistor one. We take pride in reshaping the status quo and thinking exponentially to achieve what's never been done before. We've also built a culture of continuous learning and persistent leadership that provides opportunities to practice until perfection and filter ambitious ideas into execution.
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....