Senior Math Libraries Engineer - Sparsity in AI