Senior Compiler Verification Engineer

ortunity 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.