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.
#J-18808-LjbffrLead Mathematical Staff: Kernel Proofs & AI Compute in san francisco at Unknown Company
This position is listed as full time and onsite.