Nvidia Senior Compiler Verification Engineer 

United Kingdom, England, Cambridge 

636507862

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