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-LjbffrPrincipal Engineer, Verified Compiler Transformations in seattle at Unknown Company
This position is listed as full time and onsite.