Principal Engineer, Compilers and Formal Methods
NVIDIAJob Title
Principal Engineer, Compilers and Formal Methods
Role Summary
Lead research and engineering at the intersection of compilers, programming languages, formal methods, and automated reasoning. Deliver next-generation compiler technologies that combine advanced program analysis, verification, and optimization for GPUs, AI accelerators, and heterogeneous systems.
The role spans fundamental research and production compiler engineering, including transitioning prototypes into NVIDIA's compiler stack and mentoring researchers and engineers.
Experience Level
Senior - requires extensive senior-level experience; the posting specifies 15+ years of academic and/or industry expertise in compiler construction, programming languages, formal methods, or closely related areas.
Responsibilities
Primary responsibilities include research leadership, development, and collaboration to produce verified, high-performance compiler technology.
- Lead research in compiler technology, programming languages, formal methods, and automated reasoning.
- Design and implement compiler techniques that translate high-level programs into efficient code for GPUs and heterogeneous platforms.
- Develop formal foundations and methods to ensure transformations preserve program semantics.
- Research and implement verified or proof-producing compiler optimizations and translation validation techniques.
- Build scalable program analyses and tools that support complex transformations and correctness proofs.
- Investigate automated generation of proofs, invariants, specifications, and correctness certificates for compiler transformations.
- Explore how large language models and generative AI can assist compiler construction, optimization, verification, and debugging.
- Collaborate with compiler, CUDA, GPU architecture, AI, systems software, and research teams to transition research into production.
- Mentor and guide researchers and engineers working on compilers and formal verification.
Requirements
Must-have technical skills, experience, and leadership abilities; nice-to-have items are listed separately.
- Must-have: 15+ years of academic and/or industry experience in compiler construction, programming languages, formal methods, or closely related areas.
- Must-have: Deep understanding of compiler fundamentals: intermediate representations, control-flow and data-flow analysis, static analysis, and program transformation.
- Must-have: Proven ability to lead research and transition prototypes into production compiler infrastructure; strong collaboration and mentorship experience.
- Nice-to-have: Experience with translation validation, certified or proof-producing compilation, semantics-preserving optimization, SMT/SAT solvers, or automated reasoning systems.
- Nice-to-have: Prior work on large-scale compiler infrastructure, advanced intermediate representations, or application of ML/LLMs to compiler tasks.
Education Requirements
PhD in Computer Science, Computer Engineering, Mathematics, or a related field, or equivalent research experience.
About the Company
Company: NVIDIA
Headquarters: Santa Clara, California, USA
NVIDIA is a global leader in accelerated computing, renowned for its innovative solutions in AI and digital twins that transform diverse industries. The company specializes in networking technologies, providing end-to-end InfiniBand and Ethernet solutions for servers and storage that optimize performance and scalability. NVIDIA serves sectors such as high-performance computing, enterprise data centers, and cloud computing, constantly reinventing its products and services to stay ahead in the market.
