[Skip to main content](#main-content)

[OpenNash Jobs](https://jobs.opennash.com/)
[Hiring report](/reports/hiring/) · [All NVIDIA jobs](https://jobs.opennash.com/companies/nvidia/) · [Search jobs](/search/)

NVIDIA · Multiple locations

# AI Compiler Formal Verification Intern

Multiple locations Early career 

Listed on NVIDIA’s official careers site. Posted October 6, 2026. Check that it is still open and apply there.
[Apply on NVIDIA’s careers site →](https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/Switzerland-Zurich/AI-Compiler-Formal-Verification-Intern_JR2027025)

[OpenNash Jobs](https://jobs.opennash.com/) / [NVIDIA](https://jobs.opennash.com/companies/nvidia/) / AI Compiler Formal Verification Intern

## Job description

NVIDIA's invention of the GPU 1999 sparked the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. More recently, GPU deep learning ignited modern AI — the next era of computing — with the GPU acting as the brain of computers, robots, and self-driving cars that can perceive and understand the world. Today, we are increasingly known as “the AI computing company”.

### What you’ll be doing

Research and implement innovative formal methods to verify state of the art AI compilers. This includes but is not limited to AI compiler features, passes, IR's, sub-graphs, lowerings and other critical elements of AI compilers. This role provides you with an opportunity to explore and use AI, formal verification, and other forms of semantic verification or static analysis techniques to innovate solutions that verify AI compilers for human and agentic-use cases.

### What we need to see
- Pursuing PhD in Computer Science, Computer/Electrical Engineering, Mathematics or equivalent program
- Strong Python or C++ programming skills
- Strong academic background in formal methods (preferably PhD)

### Ways to stand out from the crowd
- Academic or industrial background using LEAN or SMT to solve compiler or compiler-adjacent problems
- Knowledge of deep learning frameworks (such as Pytorch and TensorRT) and compilers

With competitive salaries and a generous benefits package, we are widely considered to be one of the technology world’s most desirable employers. We have some of the most forward-thinking and hardworking people in the world working for us and, due to unprecedented growth, our exclusive engineering teams are rapidly growing. If you're a creative and autonomous engineer with a real passion for technology, we want to hear from you.

## At a glance
- Posted by the employer: Oct 6, 2026
- First seen by OpenNash: Oct 13, 2026
- Last checked: Oct 20, 2026
- Listed for: 14 days
- Location: Multiple locations[Apply on NVIDIA’s careers site →](https://nvidia.wd5.myworkdayjobs.com/NVIDIAExternalCareerSite/job/Switzerland-Zurich/AI-Compiler-Formal-Verification-Intern_JR2027025)

## More jobs at NVIDIA

### [AI Factory CPU focused Solutions Architect](https://jobs.opennash.com/companies/nvidia/jobs/8944346c0927bb4620b3/)

### [AI GPU Power Architect - New College Grad 2026](https://jobs.opennash.com/companies/nvidia/jobs/403cb12c4398c3b7c599/)

### [AI Hardware Architect](https://jobs.opennash.com/companies/nvidia/jobs/2059b55ec358e2ac1c8e/)

### [Chip Architect](https://jobs.opennash.com/companies/nvidia/jobs/e0a05372a597bcd3b792/)

### [Chip Modeling Architect](https://jobs.opennash.com/companies/nvidia/jobs/ca63d7f382efacd6dc63/)

## Similar jobs at other companies

### [Formal Verification CAD Engineer](https://jobs.opennash.com/companies/qualcomm/jobs/31ec5eb21a89b05efb66/)

Qualcomm · Bangalore, India

### [Principal Formal Design Verification Engineer](https://jobs.opennash.com/companies/microsoft/jobs/77157c255f58687bb52b/)

Microsoft · India, Karnataka, Bangalore

### [Formal Verification Senior Engineer - Qualcomm, Cambridge, UK](https://jobs.opennash.com/companies/qualcomm/jobs/f03f4252eeff9b77c634/)

Qualcomm · Cambridge, United Kingdom

### [Distinguished Formal Verification](https://jobs.opennash.com/companies/astera-labs/jobs/8acc4f006011f2371073/)

Astera Labs · San Jose

### [Tech Lead, Formal Verification](https://jobs.opennash.com/companies/astera-labs/jobs/d91d4800c76eb0564835/)

Astera Labs · Bengaluru

OpenNash lists jobs from employers’ own careers sites and does not handle applications.
Dates come from the employer where stated; “first seen” and “last checked” are our own observations.

OpenNash Jobs · Official listings with dates and links to the employer. [Weekly hiring report](/reports/hiring/) · [Methodology](/methodology/)