AI Compiler Formal Verification Intern
Salary not listed • Switzerland, Zurich • Internship
Posted 11d ago
Remote Work Policy
On-site
Employment Type
Internship
Categories
AI Infrastructure Engineer
About the job
NVIDIA is seeking an AI Compiler Formal Verification Intern to research and implement innovative formal methods for verifying state-of-the-art AI compilers. This role offers the chance to explore and utilize AI, formal verification, and other semantic verification or static analysis techniques to develop solutions for verifying AI compilers for human and agentic-use cases. This is an opportunity to contribute to the next era of computing driven by AI.
Responsibilities
- Research and implement formal methods to verify AI compiler features, passes, IRs, sub-graphs, and lowerings.
- Apply AI, formal verification, and semantic verification techniques to innovate solutions for AI compilers.
- Explore and use static analysis techniques for compiler verification.
Requirements
- Pursuing a PhD in Computer Science, Computer/Electrical Engineering, Mathematics, or an equivalent program.
- Strong Python or C++ programming skills.
- Strong academic background in formal methods, preferably at the PhD level.
Benefits
- Competitive salaries
- Generous benefits package