Formal Methods Jobs

SF Tensor is revolutionizing high-performance compute for AI by rebuilding the entire stack, from hardware to cloud. We are developing a Kernel Optimizer that automatically finds the fastest code for any vendor or cluster topology, and a Model Foundry to manage runs, simplify research, and enable workload portability across clouds and chips. Our mission is to eliminate the compute tax, making AI development faster, cheaper, and more accessible. We are backed by prominent investors and industry leaders, and we seek individuals who believe that advancements in AI are contingent on leaps in compute infrastructure.

$275k - $315k