Description
NVIDIA is hiring a Principal Engineer, Compilers & Formal Methods to lead research and practical compiler engineering at the intersection of compilers, programming languages, formal methods, and automated reasoning. The role develops verified compiler optimizations, scalable program analyses, proof-producing transformations, and AI-assisted compiler technologies for GPUs and heterogeneous computing platforms, while collaborating with research and systems teams and mentoring researchers and engineers. Candidates need a PhD or equivalent research experience and at least 15 years of expertise in compiler construction, programming languages, formal methods, or related areas. The base salary is 248,000 USD to 391,000 USD, with equity and benefits, and applications were accepted until October 3, 2026.
