Lead Mathematical Staff: Kernel Proofs & AI Compute
Jobleads-US
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-Ljbffr Jobleads-USVacancy posted 2 days ago
Similar jobs that could be interesting for youBased on the Lead Mathematical Staff: Kernel Proofs & AI Compute in San Francisco, CA vacancy
$225k - $315k
...of high-performance compute We firmly... ...that the future of AI depends on the unglamorous... ...are building our Kernel Optimizer, which takes... .... Our core proof machinery is real and... ...AI capabilities in mathematics combined with our bit... ...of Mathematical Staff to own the math behind...SuggestedFull timeWork at officeRelocation package- ...Crusoe is seeking a Staff Software Engineer specializing in Linux Kernel Security to strengthen the security posture of our core Linux kernel and OS components... ...triage, and secure development practices to support our AI cloud infrastructure. You will implement kernel...SuggestedFull time
- ...you can trust. As AI writes more of the... ...correct, with auditable proof. Customers... ...developed physics and mathematical models into a consistent... ...increase. Lead engine design reviews... ...Experience with SIMD, GPU compute, custom allocators,... ..., or SCI/SAP). Staff Level Expectations...SuggestedRemote workRelocation packageFlexible hoursShift work
- ...everything across a business—until generative AI. Today, AI is the number one driver of... ...can help clients shift to the New using leading-edge technologies on some of the coolest... ...learning algorithms, models, and computational systems; design and build scalable data...SuggestedFull timeWork experience placementLive inWork at officeLocal areaShift work
Accenture
San Francisco, CA5 days ago $235k - $260k
...AI Enablement Lead Firecrawl is looking for someone to own how we use AI internally. The thesis behind the role: a company's output used... ...with headcount, and ours scales with tokens, meaning how much compute we run and how well we turn it into shipped work. A small...SuggestedFull timeTemporary workFor contractorsLive inVisa sponsorship3 days per weekShowcify, Inc.
San Francisco, CA5 hours ago$235k
...Operations Team Firecrawl is looking for someone to own how we use AI internally. The thesis behind the role: a company's output used... ...with headcount, and ours scales with tokens, meaning how much compute we run and how well we turn it into shipped work. A small team...Full timeWwshemi
San Francisco, CA2 days ago$164.7k - $266k
...contract lifecycle management (CLM).What you'll doWe are seeking a Lead AI Architect to turn enterprise data, metadata, relationships, and... ...and agent frameworks such as LangChain, LangGraph, Semantic Kernel, CrewAI, or equivalent ecosystemsExperience building enterprise...Contract workWork at officeLocal areaRemote work2 days per weekDocuSign
San Francisco, CA3 days ago$204k - $300k
...meets art, and high tech means more than computer code. As a member of the Dolby team, you’ll... ...science and electrical engineering, such as AI/ML, algorithms, digital signal processing,... ...areas:Cutting-Edge ResearchYou will:• Lead hands-on research at the intersection of multimodal...Full timeLocal areaWorldwideFlexible hoursDolby
San Francisco, CA4 days ago$190.3k - $261.5k
...future. At Dolby, science meets art, and high tech means more than computer code. As a member of the Dolby team, you’ll see and hear the... ...ultimately enabling the achievement of company goals.About the RoleThe AI Solution Architect is a senior technical leader within Dolby's...Full timeLocal areaWorldwideFlexible hoursDolby
San Francisco, CA1 day ago- ...Lead Software Development Engineer In Test (SDET) Wispr is an AI research and product company building the voice interface for computing. AI can now reason, code, and act. Yet, humans still do the work of the interface. We think that's backwards. Our first products...H1b
Wispr Flow
San Francisco, CA3 days ago $230k - $270k
Who We AreHP IQ is HP’s new AI innovation lab. Combining startup agility with HP’s global... ...best work.About The RoleWe're seeking a Lead AI Product Designer to join our Design Team... ...a particular focus on reimagining how computers remember, understand, and surface information...Full timeTemporary workLocal areaFlexible hoursHP IQ
San Francisco, CA2 days ago$146.4k - $235.38k
...). What you'll do We are seeking a Lead SDET to join our Quality Engineering team... ...What you bring BasicBachelor’s degree in computer science or equivalent12+ years of... ...bring productivity gains, such as building an AI agent testing experience or tool usage for...Contract workWork at officeLocal areaRemote work2 days per weekDocuSign
San Francisco, CA3 days ago$50 per hour
...Job DescriptionJoin Lockheed Martin’s Data & AI Enablement organization and accelerate the company’s AI transformation. As a lead data architect, you will drive the creation... ...Basic QualificationsBachelor’s (or higher) in Computer Science, Systems Engineering, Information...Full timeTemporary workWork experience placementCasual workFlexible hoursLockheed Martin
San Francisco, CA4 days ago$141.2k - $278.3k
Position Summary Lead Solution Architect - AI & Engineering/EaasJoin Deloitte’s AI & Engineering practice and help architect, build, and scale... ...innovation.QualificationsRequired:Bachelor’s degree in Computer Science, Software Engineering, Information Systems, Data...Local areaFlexible hoursDeloitte
San Francisco, CA4 days ago$203k - $275k
...Staff Database AdministratorAltruist is transforming the multi-trillion... ...industry by building an AI platform for wealth professionals... ...order of magnitude. You will lead our multi-region disaster... .... in a relevant field such as Computer Science or a related discipline...Work at officeImmediate startAltruist
San Francisco, CA5 days ago- ...Megaport, a global NaaS leader, seeks a Senior Manager Compute Solutions Architecture in San Francisco. You will lead Latitude Compute Solutions Architecture, guide a distributed team, and own the technical motion from discovery to close across strategic opportunities...
- ...expertise in Data Science, Machine Learning, and AI. Our business value and leadership have... .... We are looking for an AI Engagement Lead / AI Engineering Pod Lead who can combine... ..., LangGraph, LlamaIndex, Semantic Kernel, or equivalent technologies. Integrate...Work experience placementLocal area
- ...Keenable.ai, Inc. seeks a founding GTM role to win technical engagements with AI labs and inference platforms. You will deploy demonstrations inside client stacks, run pilots, and convert proofs of concept into signed usage. You own the technical win and help scale channels...
$188.28k - $270.38k
...Staff Computational Biologist Remote At Freenome, we are seeking a seasoned Staff Computational Biologist to help grow the Freenome Computational... ...reports to the Manager and Staff Computational Biologist leading genomics modeling within Computational Science. This...Local areaRemote workFreenome
Brisbane, CA2 days ago$163.64k - $336.9k
...love? It’s Possible.At Pinterest, AI isn't just a feature, it's a powerful... ....Pinterest is looking for a Sr. Staff Quantitative Product Researcher to lead the development and evolution of... ...high quality barPhD preferred in a computational social science (economics, sociology...Work at officeLocal areaRemote workRelocation packagePinterest
San Francisco, CA1 day ago- ...Staff Security Architect Lambda, the superintelligence cloud, is a leader in AI cloud infrastructure serving tens of thousands of customers. Our customers range from AI... ...and hyperscalers. Lambda's mission is to make compute as ubiquitous as electricity and give...Work at officeLocal areaWork from homeFlexible hours
Lambda Corporation
San Francisco, CA1 day ago - ...Sigma Computing seeks a Director of Product Marketing for AI to own the messaging, positioning, and go-to-market strategy across Sigma’s AI capabilities. You... ...partnerships to win in a competitive AI market. You will lead launches, create enablement materials, and shape...
- ...You will serve as a host/hostess to customers and support kitchen staff by accommodating any special needs of guests. As a part of the... ...Knowledge of safety and sanitation in the workplace. Ability to lead a team. Education and Work Experience ~ High School...Hourly payWork experience placementLocal areaMonday to FridayShift work
Flagship Facility Services
San Francisco, CA4 days ago $266k
...APIs, and host software that establish and maintain trust in our compute infrastructure. You will own production software from design and... ...high, and the future is being built.About OpenAIOpenAI is an AI research and deployment company dedicated to ensuring that general...Work at officeLocal areaFlexible hoursOpenAI
San Francisco, CA4 days ago$142k - $214k
...wholly-owned subsidiary dedicated to making computing more human, in addition to Bitmoji,... ...digital services.We’re looking for a Senior Lead, Ad Partnerships to join Team Snapchat! The... ...partners and drive adoption from proof of concept to general availability, ensuring...Full timeLive inWork at officeLocal areaShift workSnap
San Francisco, CA1 day ago$115k - $156k
...provision and deprovision access. Pilot is moving quickly toward AI-assisted operations, and a growing part of this job is administering... ...and asset inventoryAbout You5+ years in IT, with at least 2 as a lead or sole admin at a SaaS or similar technology company with a...Full timeTemporary workPart timeWork at officeRemote workFlexible hoursPilot.com
San Francisco, CA3 days ago$165k - $226k
Secure Every Identity, from AI to HumanIdentity is the key to unlocking the potential of AI. Okta secures AI by building the trusted, neutral infrastructure that enables organizations to safely embrace this new era. This work requires a relentless drive to solve complex...Local areaWorldwideFlexible hoursShift workOkta
San Francisco, CA4 days ago$173.5k - $219.5k
About WRITERWRITER is where the world's leading enterprises orchestrate AI-powered work. Our vision is to expand human capacity through superintelligence. And we're proving it's possible - through powerful, trustworthy AI that unites IT and business teams together to unlock...Full timeWork at officeLocal areaWriter
San Francisco, CA1 day ago- Freenome seeks a Computational Biologist to advance the CBAR team and develop early cancer detection tests using cfDNA as biomarkers. You will lead analysis, design studies, and build pipelines for high-throughput NGS data, collaborating with Molecular Research, Model...
$250k - $350k
...mission is to develop reliable AI systems for the world’s most important decisions. As the leading AI data foundry, we provide the... ...looks like.About the RoleAs a Staff Machine Learning Research Engineer... ...in production systemsPhD in Computer Science, Electrical Engineering...Full timeScale AI
San Francisco, CA2 days ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Lead Mathematical Staff: Kernel Proofs & AI Compute. Be the first to apply!
