AI Compiler Verification Research Intern

NVIDIA Corporation; Zürich; Híbrido; CHF 60.000 - 90.000; Jornada completa

Descripción de la vacante

NVIDIA Corporation in Switzerland (Zurich) invites applications for an AI Compiler Formal Verification Intern. You will research and implement advanced formal methods to verify AI compilers, covering features, passes, IRs, sub-graphs and lowerings, contributing to robustness of AI tooling used in state-of-the-art systems.

The role suits a PhD candidate with strong Python or C++, formal methods background, and an interest in verification methods, LEAN/SMT familiarity, and deep learning

Formación

• Pursuing PhD in CS/Engineering/Math or equivalent
• Strong Python or C++ programming skills
• Strong academic background in formal methods (preferably PhD)

Responsabilidades

• Research and implement innovative formal methods to verify AI compilers.
• Verify state-of-the-art AI compiler features, passes, IRs, sub-graphs and lowerings.
• Explore semantic verification and static analysis techniques to innovate verification solutions for AI compilers.

Conocimientos

Python

C++

Formal methods

Educación

Pursuing PhD in Computer Science/Engineering/Mathematics

Herramientas

LEAN

SMT solvers

Descripción del empleo

NVIDIA Corporation in Switzerland (Zurich) invites applications for an AI Compiler Formal Verification Intern. You will research and implement advanced formal methods to verify AI compilers, covering features, passes, IRs, sub-graphs and lowerings, contributing to robustness of AI tooling used in state-of-the-art systems.

The role suits a PhD candidate with strong Python or C++, formal methods background, and an interest in verification methods, LEAN/SMT familiarity, and deep learning