below marketmost similar roles pay hereabove market
This listing doesn't post a salary. Most similar roles pay
$177,250–$245,200.
Based on 240 similar postings.
Employer
About Nvidia
Nvidia is a leading designer of graphics processing units (GPUs) and system-on-chip units, powering gaming, professional visualization, data centers, and artificial intelligence workloads. Industry: Semiconductors & AI Computing
Nvidia currently has
1623 open roles
on FindRole.
Listed pay typically runs
$184,000–$287,500
across 1110 roles with salary data.
As a Principal Engineer, Compilers and Formal Methods, you will lead research at the intersection of compilers, programming languages, formal methods, and automated reasoning. You will develop next-generation compiler technologies that combine advanced program analysis and optimization with rigorous methods for establishing program correctness. Your daily work involves developing formal foundations for compiler transformations, researching verified optimizations, and creating scalable program analyses for GPUs and heterogeneous computing platforms. You will investigate how large language models and generative AI can assist in compiler construction and debugging. Key requirements include expertise in intermediate representations, control-flow and data-flow analysis, and static analysis. You will also work with SMT/SAT solvers and automated reasoning systems to transition research prototypes into production compiler technology for AI accelerators and domain-specific systems.
What does a Engineer earn in Washington?
Median $179250 from 43 postings across 13 companies.
Lead research in compiler technology, programming languages, formal methods, and automated reasoning.
Develop compiler techniques to translate high-level programs into efficient code for GPUs and heterogeneous platforms.
Establish formal foundations for compiler transformations to ensure optimizations preserve specified program semantics.
Research verified compiler optimizations and techniques for automatically proving the correctness of transformations.
Develop scalable program analyses to reason about complex programs and transformations.
Investigate techniques for automatically generating proofs, invariants, specifications, and correctness certificates.
Explore how large language models and generative AI can assist in compiler construction, optimization, and debugging.
Mentor researchers and engineers working on compiler technology and formal verification.
What we're looking for
PhD in Computer Science, Computer Engineering, Mathematics, or a related field, or equivalent research experience.
15+ years of academic and/or industry expertise in compiler construction, programming languages, formal methods, or closely related areas.
Strong understanding of compiler fundamentals, including intermediate representations, control-flow and data-flow analysis, static analysis, and program transformation.
Research in verified compilation or formally verified compiler transformations (preferred).
Experience with translation validation, certified compilation, proof-producing compilation, and semantics-preserving optimization (preferred).
Background with SMT/SAT solvers and automated reasoning systems (preferred).
Experience developing sophisticated compiler infrastructure or intermediate representations (preferred).
LLVM
MLIR
CUDA
Python
C++
Rust
Triton
PTX
High-Performance Computing
Numerical Analysis
Program Verification
Differential Testing
Agentic Systems
Code Generation
Optimization Passes
IR
GPU Programming
Remote (Santa Clara, CA)+58 days ago
$152,000–$241,500
LLVM
MLIR
CUDA
Python
C++
Rust
Triton
PTX
High-Performance Computing
Numerical Analysis
Program Verification
Differential Testing
Agentic Systems
Code Generation
Optimization Passes
IR
GPU Programming