Deep Learning Compiler Verification Engineer
Core
Implement compiler verification software and infrastructure to reason about correctness in deep learning compilers, ensuring graph transformations and optimizations preserve semantics and numerical behavior.
Role type
Senior IC compiler verification engineer (deep learning)
Builds
Verification systems for deep learning compilers, test generation frameworks, and correctness analysis tools
Domain
AI / Deep Learning / Compiler Technology
Deliverable
production ML models
Required skills
Compiler development, deep learning systems, compiler verification, Python, C++, major DL framework (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; Improve measurement of functional quality and performance
Seniority
Mid-Senior, hands-on IC
