NVIDIA Corporation is seeking an exceptional computer scientist to lead research at the intersection of compilers, programming languages, formal methods, and automated reasoning. As a Principal Engineer, Compilers & Formal Methods, you will develop next-generation compiler technologies that translate high-level programs into efficient code for GPUs and heterogeneous computing platforms.
You will establish formal foundations for compiler transformations, pursue verified optimizations, and build
#J-18808-LjbffrPrincipal Engineer: Verified Compilers & Formal Methods in wa at Unknown Company
This position is listed as full time and onsite.