Lead, Verified Compiler Tech & Formal Methods (Equity)

Posted yesterday

nvidiaSeattle (WA)

Computer and Information Research Scientists Software Publishers

SENIORITY

Lead

Apply

About the role

NVIDIA is seeking an exceptional computer scientist to lead research at the intersection of compilers, programming languages, formal methods, and automated reasoning. You will develop next-generation compiler technologies, investigate formal semantics and verification, and influence NVIDIA's compiler stack across GPUs and AI accelerators. The role spans fundamental research and practical compiler engineering, with opportunities to mentor teams and produce production-ready technology.

Before you apply

Applying takes about a minute. These four things decide how fast it moves after that.

Your profile is current

It's what we read first. Occupations, seniority and locations matter more than a long history.

Two examples you can talk through

Not a portfolio — just two pieces of work where you can explain the decisions and what you'd change.

A number in mind

What you're on now and what would make you move. We negotiate better when we know both.

Your notice period

Employers plan around it, and it's the question that stalls offers most often.

Once you apply, someone reads it and calls you before anything reaches the employer — usually within two working days.