Expoint - all jobs in one place

המקום בו המומחים והחברות הטובות ביותר נפגשים

Limitless High-tech career opportunities - Expoint

Nvidia Senior Compiler Verification Engineer 
United Kingdom, England, Cambridge 
636507862

18.08.2024

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