המקום בו המומחים והחברות הטובות ביותר נפגשים
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
משרות נוספות שיכולות לעניין אותך