About this opportunity
NVIDIA Corporation lists this Principal Engineer, Verified Compiler Transformations opportunity in seattle, Washington. Review the employer’s description below for duties, qualifications and application requirements.
Job description
NVIDIA Corporation in Seattle seeks a Principal Engineer, Compilers & Formal Methods to lead research at the intersection of compilers, programming languages, formal methods, and automated reasoning. You will advance verification and transformation techniques for GPUs and heterogeneous platforms.
The role blends fundamental research with production compiler engineering, mentoring researchers, and collaborating across CUDA, GPU architecture, and systems software teams.
#J-18808-Ljbffr
Worksite address
seattle, WA, 98127, US
Who can apply
Review the original listing for work authorization, qualifications and employer requirements.