# AI Compiler Verification Engineer

**Company**: NVIDIA
**Experience**: senior
**Job type**: full-time
**Category**: Engineering
**Industry**: Technology

**Apply**: https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/Switzerland-Zurich/AI-Compiler-Formal-Verification-Intern_JR2027025?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply
**Canonical**: https://yubhub.co/jobs/job_7d1bb00d-d95

## Description

NVIDIA is seeking an AI Compiler Verification Engineer to research and implement innovative formal methods to verify state-of-the-art AI compilers. The successful candidate will have the 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.

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

- Verify AI compiler features, passes, IR's, sub-graphs, lowerings, and other critical elements of AI compilers

Requirements:

- 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)

Preferred Qualifications:

- 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

Benefits:

- Competitive salaries

- Generous benefits package

## Skills

### Required
- Python
- C++
- formal methods
- computer science
- electrical engineering
- mathematics

### Nice to have
- LEAN
- SMT
- Pytorch
- TensorRT
- deep learning frameworks
- compilers

---

Source: [Apply at nvidia.wd5.myworkdayjobs.com](https://nvidia.wd5.myworkdayjobs.com/en-US/NVIDIAExternalCareerSite/job/Switzerland-Zurich/AI-Compiler-Formal-Verification-Intern_JR2027025?utm_source=yubhub.co&utm_medium=jobs_feed&utm_campaign=apply)