AI Compiler Formal Verification Intern
NVIDIA· Intern
Zurich internshipPosted 2w ago
About the role
Intern role focused on researching and implementing formal verification methods to verify state-of-the-art AI compilers, including features, passes, IRs, sub-graphs, lowerings, and other essential elements of AI compiler technology.
Responsibilities
- Research and implement innovative formal methods to verify state of the art AI compilers.
- 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.
Qualifications
- 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)
Skills
Required:PythonC++Formal methods
Last updated Oct 23, 2026. Interested? Apply on the company site.
About NVIDIA
World Leader in AI Computing
NVIDIA invents the GPU and drives advances in AI, HPC, gaming, creative design, autonomous vehicles, and robotics.
AIautonomous vehiclesgaminggpugraphics cardhigh performance computingliquid-ai-recruiting-targetllm
More open roles at NVIDIA
- Senior Physical Verification Engineer4d agoEngineer, ASIC
- Senior System Software Engineer, Display Security4d agoEngineer, Sys SW
- Senior FPGA Prototyping Engineer - Hardware4d agoSanta Clara, CA · Engineer, ASIC
- Senior Product Engineer4d agoHybrid (Thailand) · Engineer, Product Development
- Senior Architect - Data Processing Systems, Analytics and Data Intelligence4d agoHybrid (Remote / Local) · Architect