Impress employers and recruiters.
Choose from hundreds of resume examples.
Impress employers and recruiters.
Choose from hundreds of resume examples.
Tailor your resume to this Member of Mathematical Staff role.
Rezi rewrites your resume against San Francisco Tensor Company's job description. Free.
Tailor your resume to this Member of Mathematical Staff role.
Rezi rewrites your resume against San Francisco Tensor Company's job description. Free.
Don't guess if your resume is good enough.
See how it scores against the Member of Mathematical Staff posting at San Francisco Tensor Company — free, in seconds.
Don't guess if your resume is good enough.
See how it scores against the Member of Mathematical Staff posting at San Francisco Tensor Company — free, in seconds.
About the Role
We build the fastest GPU compiler in the world. Our core proof machinery is real and works, but needs refinement to handle more kernels. We are seeking an individual to define and build the mathematical foundations for our proof engine, collaborating with engineering to deploy these advancements at scale.
Responsibilities
- Own the proof engine end-to-end, ensuring kernels can be proven across all edge cases.
- Collaborate with the engineering team on building formal models of new hardware.
- Formalize numeric stability and factors influencing model convergence across diverse architectures.
- Research the predictability of training divergence during runs.
- Collaborate with the research team on post-training efforts concerning formal proofs and program verification.
- Formalize low-precision computation and its numerical stability.
- Collaborate with the engineering team on formally proving sandboxes safe.
Requirements
- A PhD in Mathematics is strongly recommended but not required; demonstrated proof and building capabilities are key.
- Possess good judgment regarding the necessity of full proofs versus cheaper guarantees.
- Pragmatic approach to tooling, understanding when SMT, interactive proofs, or custom decision procedures are appropriate.
- Comfortable owning open-ended problems and setting your own research agenda.
- Ability to explain proof strategies to engineers without a math background and to push back on corner-cutting.
Skills
- Theorem provers
- Lean
- Rocq
- Program verification
- Numerical analysis
- Numerics
- Optimization theory
- Dynamics of stochastic training
- Floating-point formalization
Location
- San Francisco
Work Type
- Full-time
- Onsite
Experience Level
- Member of Mathematical Staff
Education Level
- PhD in Math strongly recommended
Salary/Compensations
- $275,000-$315,000
Benefits
- Meaningful equity
About the Company
- SF Tensor is building the future of high-performance compute by rethinking and rebuilding the AI stack from hardware to cloud.
- We are developing a Kernel Optimizer that finds the fastest code form for any vendor and cluster topology, and a Model Foundry to manage runs and move workloads across clouds and chips.
- Backed by Susa Ventures, Y Combinator, and notable investors and executives.
- We are looking for individuals who believe a leap in compute is necessary for the next leap in AI.