AI Compiler Formal Verification Intern

AI in this role

Research and implement formal methods to verify AI compilers and deep learning infrastructure components.

pytorchpythoncleansmttensorrt

formal-verificationai-compilersstatic-analysisdeep-learning

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.

How we rate this

AI Compiler Formal Verification Intern at NVIDIA rates 85 out of 100 for how much of the daily work is AI. That makes it Builds AI (AI Level 4 of 4). The level is about AI in the job, not seniority.

Classification

Builds AI. The job is building AI systems.

●●●● Builds AI80 to 100
●●●○ Works on AI60 to 79
●●○○ Uses AI40 to 59
●○○○ Little AI0 to 39

Levels come from how often the tools, models and workflows of the role are named in the posting itself. Open the description and count.

Key facts

AI Compiler Formal Verification Intern is an open job at NVIDIA.
Level rates this role AI Level 4 of 4: Builds AI.
The role is based in Switzerland, Zurich.
The job was posted on October 5, 2026.
Seniority: intern.
Applications are handled by NVIDIA. Apply on NVIDIA

Prepare for this job

A free preview built only from this posting: what it asks for, what you could be asked in an interview, and how to adjust your resume.

Skills and AI tools this role asks for

Formal VerificationAI CompilersStatic AnalysisDeep LearningPyTorchPythonCLean

Questions you could be asked

Tell me about a project where formal verification was part of your work. What did you do?
Tell me about a project where ai compilers was part of your work. What did you do?
Tell me about a project where static analysis was part of your work. What did you do?
Tell me about a project where deep learning was part of your work. What did you do?
Walk me through how you've used PyTorch in your day-to-day work.

Adapt your resume

List these exact terms on your resume: Formal Verification, AI Compilers, Static Analysis, Deep Learning, and PyTorch. An applicant tracking system matches the wording, not the idea.
Attach one line of real, concrete experience to at least one of them — a tool named with nothing behind it rarely survives a human read.
Lead with what you built, trained or shipped — this role is judged on the AI system itself, not the tools around it.

Want an expert to read your CV for this job?

Free. Send your CV and the role you want next. We reply by email within 2 to 4 business days.

Get a free CV review