# Member of Mathematical Staff at SF Tensor

- Company: SF Tensor
- What the company does: Train the models only you can build. SF Tensor provides one optimized, cross-vendor training stack for enterprise post-training and frontier pre-training. Backed by Y Combinator.
- Company website: https://sf-tensor.com
- Type: Startups (AI role)
- Level: Senior
- Location: San Francisco
- Work setup: On-site
- Pay: $225K to $315K base salary per year (USD)
- Posted: 2026-09-27
- Apply by: 2026-11-11
- Apply: https://jobs.ashbyhq.com/sf-tensor/0b03b95d-3399-4080-9b11-0fcffcbcc963
- Page: https://www.1752.vc/careers/jobs/sf-tensor-member-of-mathematical-staff/

## About the role

We build the fastest GPU compiler in the world. Most compilers have to preserve correctness at every transform, constraining how far they can search, while we prove correctness at the end instead, allowing us to search a far wider space, with agents, with RL, with anything that works and still guarantees the result. It's why we hold #1 on NVIDIA's own kernel benchmark across hundreds of production kernels.

## What they're looking for

- A PhD in Math is strongly recommended but not required: what matters is what you've proven and built
- Someone with good judgement about when a full proof is worth it and when a cheaper guarantee is enough
- Someone who's pragmatic about tooling and knows when SMT works, when an interactive proof is necessary and when custom decision procedures are necessary
- Someone who's comfortable owning an open-ended problem where you set the research agenda yourself
- Someone who can explain a proof strategy to an engineer who doesn't know the math, and push back when they want to cut corners

Tags: Research