Principal Engineer: Verified Compilers & Formal Methods
Listed on 2026-10-09
-
Software Development
Computer Software / Middleware, Software Engineer, Computer Science
NVIDIA Corporation is seeking an exceptional computer scientist to lead research at the intersection of compilers, programming languages, formal methods, and automated reasoning. As a Principal Engineer, Compilers & Formal Methods, you will develop next-generation compiler technologies that translate high-level programs into efficient code for GPUs and heterogeneous computing platforms.
You will establish formal foundations for compiler transformations, pursue verified optimizations, and build
This is a strong position to take on the Principal Engineer:
Verified Compilers & Formal Methods role at NVIDIA Corporation.
Please review the full job details above before applying.
If your experience matches this role, we encourage you to apply.
All applications are reviewed carefully by our team.
The position is based in WA, United States.
This opportunity is part of our work in IT & Technology, Engineering.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).