AI Compiler Formal Verification Intern — NVIDIA (ufficio Zurich)
- Location
- Zürich
- Contract
- Full-time
- Posted
- 25 days ago
Full 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.
Questions about this listing
What salary does NVIDIA (ufficio Zurich) offer for this role?
The original listing does not state a salary. Our estimate for this role and sector in Zürich is CHF 57'500 - 87'000 gross per year — an estimate, not a figure communicated by NVIDIA (ufficio Zurich). The calculator on this site converts a gross salary into your actual net take-home once cross-border tax and social contributions are applied.
Is this a full-time role, and what type of contract does NVIDIA (ufficio Zurich) offer?
This listing is a full-time position. The contract type shown here comes directly from the employer's original posting; always confirm exact hours, notice period and probation length with NVIDIA (ufficio Zurich) during the application process, since these details can vary by role even within the same contract category.
Do I need a cross-border work permit for a role in Zürich?
EU/EFTA residents living in the border zone of the country adjoining Canton Zürich can apply for a G permit; the Swiss employer files it with that canton's migration office after the contract is signed. Border-zone rules and processing times vary by neighbouring country and canton, so confirm the specifics with Zürich's cantonal migration office or with HR during the application.
How do I apply for this position at NVIDIA (ufficio Zurich)?
Use the "Apply now" button on this page — it links directly to NVIDIA (ufficio Zurich)'s original listing at nvidia.wd5.myworkdayjobs.com, so your application goes straight to the employer's own applicant-tracking system. Frontaliere Ticino does not collect or forward applications itself.
