#JR1985816
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.