NVIDIA, AI Compiler Formal Verification Intern
- Azienda
- NVIDIA
- Sede
- Zurich, Svizzera
- Indennità
- Retribuito + benefit
- Area professionale
-
Informatica/ICT
Attività
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.
Other location: Munich (Germany)
Requisiti principali
- 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.
