Mathematical Staff Lead - Proof Engine and Verification
sf tensorMillbrae, CA
$225,000 - $315,000 per year
APPLYMathematical Staff Lead - Proof Engine and Verification
sf tensorMillbrae, CALead L6
$225,000 - $315,000 per year
MathematiciansComputer and Information Research ScientistsMathematical Science Occupations, All Other
Software PublishersCustom Computer Programming ServicesComputing Infrastructure Providers, Data Processing, Web Hosting, and Related Services
APPLY NOWSF Tensor in San Francisco is hiring a Member of Mathematical Staff to own the proof engine and advance formal methods for frontier models.
You will collaborate with engineers to build formal hardware models, formalize numeric stability, and drive proofs from theory into scalable production tools. This role offers relocation assistance and a path to shape the math behind AI breakthroughs.
Matching similar jobs
Level
Lead L6
Salary
$225,000 - $315,000 per year
Location
Millbrae, CA
Occupation
Mathematicians
Industry
Software Publishers
Posted
2 days ago