Senior Deep Learning Compiler Verification Engineer
Core
Design and build systems to reason about correctness in deep learning compilers, ensuring graph transformations and optimizations preserve semantics and numerical behavior.
Role type
Senior IC deep learning compiler verification engineer
Builds
Compiler verification software and test generation infrastructure for deep learning workloads
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), systems intuition, debugging
Preferred skills
LLVM, MLIR, TVM, XLA, formal methods, language specification, type systems, program semantics, proof-based verification, DL model internals (quantization, operator fusion, mixed-precision)
Technologies
MLIR, LLVM, TVM, XLA, PyTorch, JAX, TensorRT
Responsibilities
Design systems to reason about correctness across graph transformations and IR lowering; Analyze and validate sophisticated optimizations like graph rewrites and fusion passes; Engineer test generation systems exploring combinatorial spaces of model topologies and hardware targets; Define metrics to guarantee functional quality and performance as stacks evolve
Seniority
Senior, hands-on IC
