Remote Senior Compiler Verification Engineer Job in UK NVIDIA

Who you are

• 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

Desirables

• Hands-on compiler development or verification experience
• Application of machine learning to solve software engineering problems
• Experience in formal verification of software solutions

What the job involves

• 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