Lead Mathematical Staff: Kernel Proofs & AI Compute

SF Tensor, based in San Francisco, is actively seeking a Member of Mathematical Staff to own the proof engine end-to-end, develop formal models of hardware, and drive verification for diverse architectures. You will advance formal proofs, numeric stability, and post-training verification, collaborating closely with engineering and research teams. The position offers relocation assistance and meaningful equity, with a base salary range that reflects frontier AI research at scale.