NVIDIA · 1 month ago
Senior Deep Learning Compiler Verification Engineer
United States
Full-time
Remote
Mid, Senior Level
$140K/yr - $224K/yr
3+ years expNVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for more than 25 years. They are looking for an engineer to implement compiler verification software and related infrastructure in the AI space, focusing on designing systems for correctness in deep learning compilers and working alongside teams to validate optimizations.
Artificial Intelligence (AI)TransportationCloud ComputingEmbedded SoftwareGamingHardwareQuantum ComputingSemiconductorAI InfrastructureAutonomous VehiclesEmbedded SystemsFoundational AI
Responsibilities
Design and build systems to reason about correctness in deep learning compilers, across graph transformations, IR lowering, and GPU execution
Work with deep learning compiler and architecture teams to analyze and validate sophisticated optimizations (e.g., graph rewrites in MLIR, fusion passes, mixed-precision transformations), ensuring they preserve semantics and numerical behavior
Engineer test generation systems that use deep learning solutions and analysis methods to drive in-depth testing. These systems explore the vast combinatorial space of model topologies, precision modes, and hardware targets
Define and improve how we measure and guarantee functional quality and performance as models, compiler stacks, and hardware continue to evolve
Qualification
Required
BS, MS or PhD in Computer Science, Computer Engineering, Mathematics, or equivalent experience
3+ years of hands-on engineering experience in compiler development, deep learning systems, or compiler verification
Must have deep proficiency in Python or C++ and experience with one major DL framework. This could be PyTorch, JAX/XLA, TensorRT, or a similar framework. Experience should involve model execution, graph representation, or runtime behavior
Strong systems intuition and debugging depth — ability to reason across abstraction layers, from high-level model semantics down to generated code, and track down failures that only manifest in edge cases!
Preferred
Compiler engineering experience including LLVM, MLIR, TVM, or XLA — you understand how passes are composed, how IR semantics are preserved, and where correctness breaks down
Formal methods or language specification background: experience with type systems, program semantics, or proof-based verification
DL model internals depth: experience with quantization, operator fusion, mixed-precision, or graph-level optimization
Benefits
Equity
Benefits
Company
NVIDIA
NVIDIA is a computing platform company operating at the intersection of graphics, HPC, and AI.
10001+ employees
H1B Sponsorship
NVIDIA has a track record of offering H1B sponsorships. Please note that this does not
guarantee sponsorship for this specific role. Below presents additional info for your
reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
89%
Represents job field similar to this job
Engineering and Development
Management and Executive
Product Management
Marketing
Sales
Accounting and Finance
Customer Service and Support
Creatives and Design
Human Resources
Arts and Entertainment
Legal and Compliance
Trends of Total Sponsorships
*2026 (1247)
2025 (1868)
2024 (1353)
2023 (976)
2022 (835)
2021 (601)
2020 (529)
Funding
Current Stage
Public CompanyTotal Funding
$29.09BKey Investors
ARPA-EARK Investment ManagementSoftBank Vision Fund
2026-06-15Post Ipo Debt· $25B
2023-05-09Grant· $5M
2022-08-09Post Ipo Equity· $65M
Leadership Team
Jensen Huang
Founder and CEO
Michael Kagan
Chief Technology Officer
Recent News
2026-07-19
2026-07-19
2026-07-19
Company data provided by crunchbase