Senior Compiler Verification Engineer

NVIDIA's invention of the GPU in 1999 fueled 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”.

Behind almost every NVIDIA breakthrough lies the critical work of our compiler teams. As we push the boundaries of high-performance computing and AI, we're growing our compiler capabilities to match our ambitions. We're establishing a new compiler verification engineering team in the UK to ensure the robustness and reliability of our compilers for next-generation technologies. You will be one of the first members of this team and this provides you with an excellent opportunity to grow and make a mark on the future of this team!

What you’ll be doing:

• Work with geographically dispersed compiler and other related teams to capture compiler verification requirements

• Design and implement software solutions to verify NVIDIA compilers for GPU-enabled products

• Create and review compiler verification plans & design documents, verification code, and test libraries

• Utilize machine learning, formal verification, fuzzing, and other innovative methods to automate the compiler verification process and enhance compiler quality

What we need to see:

• BS/MS in Computer Science or a related field with 5+ years of proven experience

• Prior experience in compilers or a similar technology

• Deep expertise in C++, CUDA, PTX, or similar programming languages

• Exposure to either - spec level understanding of a programming language - or, sophisticated processor architecture

• Strong problem-solving skills and a passion for software quality

Ways to stand out from the crowd:

• Hands-on compiler development or verification experience

• Application of machine learning to solve software engineering problems

• Experience in formal verification of software solutions

With highly competitive salaries and a comprehensive benefits package, NVIDIA is widely considered to be one of the technology world’s most desirable employers. We have some of the most innovative and talented people in the world working for us and, due to outstanding growth, our world-class engineering teams are growing fast. By joining NVIDIA's new compiler verification team, you'll be at the forefront of this exciting landscape, working on technologies that will define the future of computing.

NVIDIA is an equal opportunity employer committed to encouraging a diverse and inclusive workplace. We do not discriminate based on race, religion, colour, national origin, gender, sexual orientation, age, marital status, veteran status, or disability status.