1mo ago

AI Compiler Formal Verification Intern

2 Locationsentry

Other

0 views0 saves0 applied

Quick Summary

Key Responsibilities

Research and implement innovative formal methods to verify state of the art AI compilers. This includes but is not limited to AI compiler features, passes, IR's, sub-graphs,

Requirements Summary

• Pursuing PhD in Computer Science, Computer/Electrical Engineering,

Technical Tools

Other

NVIDIA's invention of the GPU 1999 sparked the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. More recently, GPU deep learning ignited modern AI — the next era of computing — with the GPU acting as the brain of computers, robots, and self-driving cars that can perceive and understand the world. Today, we are increasingly known as “the AI computing company”.

Responsibilities

~1 min read

• Academic or industrial background using LEAN or SMT to solve compiler or compiler-adjacent problems

• Knowledge of deep learning frameworks (such as Pytorch and TensorRT) and compilers

With competitive salaries and a generous benefits package, we are widely considered to be one of the technology world’s most desirable employers. We have some of the most forward-thinking and hardworking people in the world working for us and, due to unprecedented growth, our exclusive engineering teams are rapidly growing. If you're a creative and autonomous engineer with a real passion for technology, we want to hear from you.