---
title: "Principal Engineer, Compilers… at NVIDIA USA – Seattle, WA"
canonical: "https://www.metaintro.com/job/principal-engineer-compilers-and-formal-methods-at-nvidia-usa-0be3d41e-a6df-5b03-9ff8-7dde630bafed"
language: "en"
author: "Metaintro"
---

[/company/nvidia-usa](/company/nvidia-usa)[NVIDIA USA](/company/nvidia-usa)
# Principal Engineer, Compilers and Formal Methods at NVIDIA USA

Compensation · Listed in posting

$248,000 – $391,000/yr

**Location**
: Seattle, Washington

**Type**
: Full-time

**Level**
: staff+

**Posted**
: Sep 29, 2026

## 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.

## Trending job searches

Every query opens live roles, salary samples, and market demand — tap a search to run it instantly.

- [Find Principal Engineer, Compilers and Formal Methods jobs in Seattle, Washington, United States](/jobs/search?q=Find+Principal+Engineer%2C+Compilers+and+Formal+Methods+jobs+in+Seattle%2C+Washington%2C+United+States)
- [Find roles similar to Principal Engineer, Compilers and Formal Methods in Seattle, Washington, United States](/jobs/search?q=Find+roles+similar+to+Principal+Engineer%2C+Compilers+and+Formal+Methods+in+Seattle%2C+Washington%2C+United+States)
- [Find remote Principal Engineer, Compilers and Formal Methods jobs](/jobs/search?q=Find+remote+Principal+Engineer%2C+Compilers+and+Formal+Methods+jobs)
- [Find Principal Engineer, Compilers and Formal Methods jobs with Compiler construction and Formal methods](/jobs/search?q=Find+Principal+Engineer%2C+Compilers+and+Formal+Methods+jobs+with+Compiler+construction+and+Formal+methods)
- [Find jobs similar to Principal Engineer, Compilers and Formal Methods](/jobs/search?q=Find+jobs+similar+to+Principal+Engineer%2C+Compilers+and+Formal+Methods)
- [Find Principal Engineer, Compilers and Formal Methods jobs posted this week](/jobs/search?q=Find+Principal+Engineer%2C+Compilers+and+Formal+Methods+jobs+posted+this+week)
- [Find Principal Engineer, Compilers and Formal Methods jobs paying $240,000 or more per year](/jobs/search?q=Find+Principal+Engineer%2C+Compilers+and+Formal+Methods+jobs+paying+%24240%2C000+or+more+per+year)
- [Find Developer jobs in Seattle, Washington, United States](/jobs/search?q=Find+Developer+jobs+in+Seattle%2C+Washington%2C+United+States)

## Get More from Metaintro

Unlock powerful job search, personalized recommendations, and deep career insights from comprehensive, market-leading data and live market signals.

- [Browse all jobs](/jobs/search)
- [Access help center](/help)
- [Explore our content](/blog)

![](https://cdn.metaintro.com/rs:fill:1200:800/q:30/plain/images/bridges/bridge-expand.1df895c6bd76d96f.png)

For job seekers

## Ready to find a role that actually fits?

Upload your résumé, start a Job Search Thread, and let Metaintro rank real openings against your experience — then guide you from search to offer.

[Get Started Free](/signup)[Search matching jobs](/jobs/search)

Match

Compare live roles against your current evidence.

Position

Turn proof projects into role-specific applications.

Improve

Use market feedback to keep the skill plan current.

[Return to navigation](#main-navigation)