Senior/Staff Software Engineer
Logical Intelligence
Who we are At Logical Intelligence, we're revolutionizing software development with AI-powered formal verification. We've developed groundbreaking agents that provide mathematical guarantees of code correctness, ensuring that software behaves exactly as intended while proactively identifying bugs and security vulnerabilities. We've won a well-known formal verification benchmark called PutnamBench, which consists of 672 hard math problems from the William Lowell Putnam Exam, the oldest collegiate mathematics competition in North America. Backed by a world-class team - including 6 ICPC medalists, 10 PhDs, a Fields Medalist and an ACM Turing Award winner - we're building the future where all code is provably correct.
About the role Join our team as an SWEngineer and help us push the boundaries of what's possible in logical reasoning! We're looking for a motivated software engineer to build and refine the systems, tooling, and infrastructure that power AI-driven formal verification at scale. You'll work closely with a world-class team of formal verification researchers and ICPC winners to create groundbreaking technology that makes mathematically proven software correctness practical for real-world codebases. What you'll do
About the role Join our team as an SWEngineer and help us push the boundaries of what's possible in logical reasoning! We're looking for a motivated software engineer to build and refine the systems, tooling, and infrastructure that power AI-driven formal verification at scale. You'll work closely with a world-class team of formal verification researchers and ICPC winners to create groundbreaking technology that makes mathematically proven software correctness practical for real-world codebases. What you'll do
- Build and extend our formal verification libraries and core tooling in Python and Lean 4
- Develop and improve AI Provers for theorem proving and formal reasoning workflows
- Design infrastructure for real-time formal verification services and their integration into production systems
- Collaborate with researchers and engineers across teams to turn cutting-edge ideas into practical, scalable systems
- 5+ years of experience building software in big tech companies or high-performance startup environments
- Strong experience working with large, complex codebases and evolving them with care and good engineering judgment
- Excellent programming skills and a product-minded approach to software development, with the ability to balance technical quality, delivery speed, and business priorities
- Ability to use your own engineering expertise together with AI tools in a thoughtful and effective way
- Readiness to thrive in a startup environment, switch contexts quickly, and take ownership across a wide range of problems
- Strong ability to learn new domains and technologies quickly, including Lean and formal verification
- Strong communication and collaboration skills, with the ability to work closely with exceptional teammates across research and engineering
- Experience with formal verification concepts, methods, or tools
- Experience with Lean or other theorem proving environments
- Strong Python skills
Vacancy posted 4 days ago
Similar jobs that could be interesting for youBased on the Senior/Staff Software Engineer in San Francisco, CA vacancy
- ...Senior Staff Engineer For Payroll Rippling is rapidly expanding its global footprint, and our Payroll product is the engine that executes... ...solutions. What You Will Need ~10+ years of professional software engineering experience, including technical leadership...SeniorWork at office3 days per week
ZoneIn
San Francisco, CA6 days ago - ...Attributes Tech Stack: VueJS, Electron, Python/Go, TS Must have ~4 - 10 years of experience as a full-stack software engineer in both startups and growth-stage tech companies ~ Experience building full-stack products and features with high-quality...Senior
3B Staffing LLC
San Francisco, CA2 days ago $200k - $230k
...represents and celebrates the customers we serve. Learn more about our Total Rewards philosophy . About the Role: As an Senior Staff Software Engineer on the Developer Productivity - Async team, you will work on improving developer productivity by enhancing the tools...SeniorWork at officeLocal areaRemote work2 days per week3 days per weekGrabJobs
San Francisco, CA3 days ago$2,000 per month
...pathologically unfair at worst. Our mission is to reimagine the world of data with you. About The Role As a Principal/Staff Software Engineer , you will help build out the next generation data platform to support decentralized analytical and ML workloads, which...SeniorNextdata
San Francisco, CA20 hours ago- ...in enterprise automation and have assembled a world-class engineering team with staff-level talent from Robinhood, Glean, Google, Netflix, and Meta... ...like Scale AI and Rippling. Role Overview As a senior/staff engineer, you will be driving initiatives with broad...SeniorWork at office
Rockstar
San Francisco, CA15 hours ago - ...applications, enabling customers to confidently scale their organization on Rippling. We are seeking an exceptional Senior Staff Software Engineer to spearhead the evolution of our Identity and Access Management systems, a pivotal role in redefining authentication on...SeniorWork at officeWorldwide3 days per week
Rippling
San Francisco, CA2 days ago $190k - $230k
...mission is simple: place the best people in the right roles to drive long-term success for both clients and candidates. Senior Software Engineer (Full Stack / Product Engineering) Location: San Francisco, NYC, Austin, or Remote (North America) Company Stage:...SeniorWork at officeRemote workFlexible hoursRecruiting from Scratch
San Francisco, CA3 days ago$221k - $260k
...2019, TFH has more than 400 people across hardware, software, AI, cryptography, mobile engineering, and global operations. Our teams come from OpenAI,... ...ambitious vision. The opportunity: We are seeking a Senior/Staff Android Engineer to spearhead World ID Identity...SeniorFlexible hoursTools for Humanity
San Francisco, CA20 hours ago- ...About the role Slash is, at its core, a technology company and is on a mission to build the best engineering team in the world. We're looking for a Senior/Staff Software Engineer to help build and evolve our core banking product that powers $10b in transaction volume...SeniorWork at office
Slash Financial
San Francisco, CA4 days ago $281k - $356k
...simulation across 15+ U.S. states. This Senior Tech Lead role will lead technical... ...both temporary mitigations and permanent software fixes, as well as preventing future regressions... ...closely with Data Science, Systems Engineering and operations teams to streamline...SeniorPermanent employmentFull timeTemporary workRemote workWaymo
San Francisco, CA2 days ago$206k - $268k
...closed EHR systems into a single, modern platform that powers software, APIs, payments, and patient experiences across the ecosystem.... ...facing SaaS product on top of our own API. On the platform engineering team, you'll work on some of our most challenging problems, from...SeniorLive inFlexible hoursNexHealth
San Francisco, CA2 days ago$160k - $220k
...TCV, First Harmonic, Bain Capital Ventures, First Round Capital, and more. About the Role We're looking for a Senior / Staff Software Engineer - Search & Retrieval to build and scale the systems that power Actively's AI agents to find, rank, and reason over...SeniorWork at officeShift workActively AI
San Francisco, CA1 day ago$281k - $356k
...Senior Staff Software Engineer, TLM Waymo is an autonomous driving technology company with the mission to be the world's most trusted driver. Since its start as the Google Self-Driving Car Project in 2009, Waymo has focused on building the Waymo Driver—The World's...SeniorFull timeRemote workWaymo
San Francisco, CA4 days ago$207k - $385k
...About the Team Join the engineering teams that bring OpenAI's ideas safely to the... ...About the Role We're seeking Software Engineers who can solve complex, high... ...internal title Member of Technical Staff . We use Senior Staff externally to signal the depth...SeniorOpenAI
San Francisco, CA20 hours ago- ...The Team Toma is assembling a high-caliber team of engineers, product leaders, former founders, and operators from companies... ...background. About the Role Toma is looking for a Senior or Staff Software Engineer to build and own net-new products and core...Senior
Rethink recruit
San Francisco, CA2 days ago $230k - $250k
...help define what the future of HR looks like for every business. Why We Need You: We are looking for a seasoned Senior Staff Software Engineer to architect, lead, and drive strategic initiatives for robust, scalable backend infrastructure and microservices. You'...SeniorWork experience placementHome officeFindem
San Francisco, CA20 hours ago- ...Our benefits vertical spans: Benefits Platform – the core engine powering eligibility, recommendations, payments, and... ...You Will Need Deep experience: 10+ years of professional software engineering, with a track record of building large-scale, high-...SeniorWork at officeWorldwide3 days per week
MyHealthTeam
San Francisco, CA2 days ago - ...team is a quickly growing group of committed researchers, engineers, policy experts, and business leaders working together to build... ...Role Anthropic's Consumer Products team is hiring a Senior Staff Software Engineer to serve as the technical lead for Claude's core...SeniorWork at officeVisa sponsorshipFlexible hours
Anthropic
San Francisco, CA3 hours ago $198.4k
...and justice issues with our ecosystem of devices and cloud software. Like our products, we work better together. We connect... ...matters at a company where you matter. Your Impact As a Senior Staff Software Engineer, you will play a crucial role in fostering a...SeniorWork experience placementWork from homeGrabJobs
San Francisco, CA4 days ago$250k - $270k
...Senior Staff Software Engineer Ironclad is the leading AI contracting platform that transforms agreements into assets. Contracts move faster, insights surface instantly, and agents push work forward, all with you in control. Whether you're buying or selling, Ironclad...SeniorFull timeContract workRemote workIronclad Inc
San Francisco, CA1 day ago- ...Join us to invest in yourself, your career, and the financial world. The Role: We are looking for an experienced Senior Staff Software Engineer to join our Builder Tools engineering organization with a mission to enable SoFi engineers to elegantly solve problems....SeniorRemote work
SoFi
San Francisco, CA2 days ago $172.8k - $297k
...Senior Staff Software Engineer CA- San Francisco / UT- Sandy / WA- Seattle / NY- New York City / FL- Jacksonville / DE- Greenville / MT- Helena Who we are: Welcoming, collaborative and having the opportunity to make an impact - is how our employees describe working...SeniorRemote workFlexible hoursGalileo Financial Technologies
San Francisco, CA1 day ago$198k - $346.5k
...accommodate every jurisdiction worldwide, meticulously handling time at work, time away, and scheduling through a robust and flexible rules engine. Our Time Products are the most actively used solutions at Rippling, renowned for their reliability and availability-they never...SeniorHourly payWork at officeWorldwideFlexible hours3 days per weekRippling
San Francisco, CA4 days ago$148k - $260k
...diverse, innovative and collaborative candidates who want to impact the world in a positive way. To learn more visit: As a Software Engineer in High-Performance Onboard Algorithms, you will be a key contributor to the development and optimization of our real-time...SeniorFull timeWork at officeWork from homeFlexible hoursWaabi
San Francisco, CA3 days ago$143.3k - $266.13k
...Senior Staff Software Engineer Job Locations US-CA-San Francisco - Remote Job ID 2026-5810 Name Linked Remote: San Francisco, CA Country United States City San Francisco - Remote Worker Type Regular Full-Time Employee...SeniorFull timeLocal areaRemote workDataDirect Networks Inc
San Francisco, CA3 days ago$189k - $236k
...Senior Staff Software Engineer - Pricing and Packaging San Francisco, CA At Gusto, we're on a mission to grow the small business economy. We handle the hard stuff — payroll, health insurance, 401(k)s, and HR — so owners can focus on their craft and their customers...SeniorFull timeWork at officeLocal areaRemote work2 days per week3 days per weekGusto
San Francisco, CA1 day ago$175k - $220k
...technology-exists to serve one goal: better outcomes for the people we care for. The Role We are seeking a Senior/Staff Full-Stack Software Engineer to help build and scale Amae Health's patient and clinic-facing technology platform. In this hands-on individual...SeniorFull timeAmae Health
San Francisco, CA2 days ago$405k
...team is a quickly growing group of committed researchers, engineers, policy experts, and business leaders working together to build... ...About the role Anthropic is seeking an exceptional Senior Staff Software Engineer to join the Claude Developer Platform team and serve...SeniorWork at officeVisa sponsorshipFlexible hoursAnthropic
San Francisco, CA4 days ago$148k - $249k
...milestones, mentoring ICs, and communicating insights and results to stakeholders and leadership. Qualifications: - 5+ years software engineering or systems/performance engineering experience (BS in CS/EE or related), with demonstrated end-to-end ownership of complex...SeniorFull timeWork at officeWork from homeFlexible hoursGrabJobs
San Francisco, CA1 day ago$150k - $169k
...reliable, auditable, and secure access to sensitive systems, and the engineers who build those products need to understand that context deeply. At IC6, you are one of those engineers. As a Senior Staff Software Engineer, you will lead large-scale technical initiatives across...SeniorRemote workGrabJobs
San Francisco, CA1 day ago
Do you want to receive more vacancies?
Subscribe and receive similar vacancies to Senior/Staff Software Engineer. Be the first to apply!
Related searches
- senior development executive San Francisco, CA
- senior technical manager San Francisco, CA
- senior procurement specialist San Francisco, CA
- senior software development engineer in test San Francisco, CA
- senior manager data science San Francisco, CA
- senior platform engineer San Francisco, CA
- senior procurement San Francisco, CA
- senior director product management San Francisco, CA
- senior cost manager San Francisco, CA
- senior compliance officer San Francisco, CA