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, formal semantics, proof-producing compilation, and techniques involving large language models and generative AI for GPU and heterogeneous computing platforms. It also involves collaborating with NVIDIA research and systems teams and mentoring researchers and engineers. The position requires a PhD or equivalent research experience and 15+ years of expertise in compiler construction, programming languages, formal methods, or related areas, with a base salary of 248,000 USD to 391,000 USD.
