17 hours ago
Munich, Germany or Zürich, SwitzerlandIntern
Responsibilities
- Research and implement formal methods for verifying state-of-the-art AI compilers.
- Verify AI compiler features, passes, IRs, subgraphs, lowerings, and other critical compiler components.
- Apply AI, formal verification, semantic verification, and static analysis techniques to human and agentic use cases.
Requirements
- Pursuing a PhD in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or an equivalent program.
- Strong Python or C++ programming skills.
- Strong academic background in formal methods, preferably at the PhD level.
- Academic or industrial experience using Lean or SMT for compiler or compiler-adjacent problems is preferred.
- Knowledge of deep learning frameworks such as PyTorch and TensorRT and of compilers is preferred.
Benefits
- Competitive salary and a generous benefits package.
About Nvidia
Nvidia designs and sells GPUs and accelerated computing platforms for data centers, AI/ML, graphics, gaming, and automotive, monetizing through hardware, software platforms (CUDA, AI frameworks), and systems like DGX and networking. Customers include cloud providers, enterprises, researchers, and OEMs. Founded in 1993 and headquartered in Santa Clara, it is a public company traded on NASDAQ under NVDA.