Deep Learning Compiler Verification Engineer
Core
Implement compiler verification software and infrastructure to ensure correctness of deep learning compilers across graph transformations, IR lowering, and GPU execution.
Role type
Senior IC compiler verification engineer
Builds
Verification systems for deep learning compiler stacks
Domain
AI / Deep Learning / Compiler Technology
Deliverable
production ML models
Required skills
Compiler development, Deep learning systems, Compiler verification, Python, C++, Deep learning frameworks (PyTorch, JAX/XLA, TensorRT), Graph representation, Runtime behavior analysis
Preferred skills
LLVM, MLIR, TVM, XLA, Formal methods, Language specification, Type systems, Program semantics, Proof-based verification, Quantization, Operator fusion, Mixed-precision, Graph-level optimization
Technologies
MLIR, LLVM, TVM, XLA, PyTorch, JAX, TensorRT
Responsibilities
Develop and maintain systems to reason about correctness in deep learning compilers; Analyze and validate optimizations (graph rewrites, fusion passes, mixed-precision transformations); Implement and extend test generation systems for model topologies and hardware targets; Improve functional quality and performance measurement methods.
Seniority
Mid-Senior, hands-on IC
