Senior Software Engineer - AI Correctness & Security, Equity

Theorem

Theorem is building software correctness feedback to scale with increasing complexity and volume, aiming to make software provably safe and reliable. We seek individuals who relish tackling ambitious projects and helping the team move fast while maintaining quality. Join us in San Francisco to work on interfaces and tooling that enable reliable program analysis and formal reasoning at scale, with equity as a key part of compensation. #J-18808-Ljbffr Theorem

Apply

Vacancy posted 2 days ago

Similar jobs that could be interesting for youBased on the Senior Software Engineer - AI Correctness & Security, Equity in San Francisco, CA vacancy

Security Software Engineer, Infrastructure Security (Staff or Senior)
$127k - $249k
...are hiring an experienced Security Software Engineer (Staff or Senior) for our Infrastructure... ...operability alongside security and correctness Strong communication... ...the database for the AI era, enabling innovators... ...eligible employees may include: equity, participation in the...
Employment Equity
Senior
Work at office
Local area
Remote work
Worldwide
Flexible hours
MongoDB
San Francisco, CA
4 days ago
Senior Software Engineer - Kernel/Security
$255k - $405k
...is the #1 GPU Cloud for ML/AI teams training, fine-tuning... ...inferencing AI models, where engineers can easily, securely and affordably build, test... ..., confidential computing, software-defined perimeter, network... ...~ We offer generous cash & equity compensation ~ Our investors...
Employment Equity
Senior
Full time
Work at office
Local area
Work from home
Flexible hours
Lambda
San Francisco, CA
18 hours ago
Senior Software Engineer - Product Engineering (Identity Security)
$179.8k - $258.5k
Senior Software Engineer - Identity SecurityEnterprises are undergoing two simultaneous... ...to the cloud and adopting AI agents at scale. Both create... ...govern. Abnormal's Identity Security team is building the... ...or incentive compensation, equity, and a comprehensive benefits...
Employment Equity
Senior
Work at office
Abnormal Security
San Francisco, CA
18 hours ago
Senior Security Software Engineer, v0
$208k - $312k
...behind Next.js, v0, and AI SDK, we create... ...production with speed, security, and exceptional developer... ...experience.Now, software is entering a new era... ....We're looking for a Senior (IC4) software engineer with a strong security... ...compensation package, including equity.Inclusive Healthcare...
Employment Equity
Senior
Full time
Work from home
Worldwide
Flexible hours
Vercel
San Francisco, CA
2 days ago
Senior Software Development Engineer - Security
$139k - $257.55k
...one of the most diverse engineering landscapes in the... ...it: an enterprise-scale security scanning system that analyzes... ...source code.This is a software engineering focused... ...observabilityIntegrate AI and ML capabilities into... ...the form of a new hire equity award.State-Specific Notices...
Employment Equity
Senior
Full time
Temporary work
Local area
Worldwide
Adobe Systems
San Francisco, CA
3 days ago
Senior Software Engineer - Security
$164.2k - $225.7k
...toughest problems, from security threat detection to... ...world's best data and AI infrastructure platform... ...companies in the world.Our engineering teams build highly technical... .... We are looking for senior leaders such as... ...annual performance bonus, equity, and the benefits listed...
Employment Equity
Senior
Work at office
Local area
Worldwide
DataBricks
San Francisco, CA
1 day ago
Senior Software Engineer, Security
$175k - $210k
...intelligence. As the only vertically integrated AI infrastructure company built from the... ...us at Crusoe.About the Role:As a Senior Security Software Engineer at Crusoe, you will design, build,... ...:Competitive compensation and equity packagesRestricted Stock UnitsPaid time...
Employment Equity
Senior
Temporary work
Crusoe
San Francisco, CA
18 hours ago
Senior Security Software Engineer
$202k - $230k
...every critical workflow Ready-to-go AI agents for every team Powerful no-code automations Your AI Chief of Staff Senior Software Engineer, Security Development San Francisco We are dedicated... ...ourselves and conduct a yearly pay equity audit. For this role, the estimated...
Employment Equity
Senior
Full time
Work at office
Local area
Work from home
Worldwide
Greenlever
San Francisco, CA
2 days ago
Senior Software Security Engineer
$300k - $320k
...interpretable, and steerable AI systems. We want AI to... ...committed researchers, engineers, policy experts, and... ...grow more powerful, securing them from exfiltration... ...as they relate to our software supply chain, AI model... ...and benefits, optional equity donation matching, generous...
Employment Equity
Senior
Work at office
Visa sponsorship
Flexible hours
Anthropic
San Francisco, CA
4 days ago
Senior Software Engineer, Infrastructure Security
$202k - $230k
...elimination of entire classes of security risk by engineering the core libraries,... ...Asanas. We are looking for a Senior Software Engineer to join our new... ...curiosity about AI tools and emerging technologies... ...and conduct a yearly pay equity audit. For this role, the...
Employment Equity
Senior
Full time
Work at office
Local area
Work from home
Worldwide
Asana
San Francisco, CA
18 hours ago
Senior Software Engineer, Security Development
$202k - $230k
...elimination of entire classes of security risk by engineering the core libraries,... ...Asanas. We are looking for a Senior Software Engineer to join our new... ...curiosity about AI tools and emerging technologies... ...additional components such as equity, sales incentive pay (for...
Employment Equity
Senior
Full time
Work at office
Work from home
Asana
San Francisco, CA
3 days ago
Senior Software Engineer, Infrastructure (SRE & Security Focused)
$200k - $260k
...Nimble Nimble is an AI robotics company... ...team of the world's best engineers and operators. If you... ...We are looking for a Senior Software Engineer to join our... ..., focused on building secure, reliable, and scalable... ...also receive generous equity for this position....
Employment Equity
Senior
Local area
Flexible hours
Nimble Robotics
San Francisco, CA
2 days ago
Software Engineer, AI Foundation (Mid-Senior level)
$160k - $260k
...About Zip Zip is the AI platform for... ...agents, companies can secure the resources they need... ...Your Role As a Software Engineer on the AI Foundations... ...document parsing, and self-correcting memory systems. Build... ...best work. ~ Start-up equity ~ 100% health, vision...
Employment Equity
Senior
Full time
Contract work
Immediate start
Home office
Flexible hours
Zip
San Francisco, CA
18 hours ago
Senior Software Engineer
...and scale autonomous AI agents with full visibility... ...We are seeking a Senior Software Engineer to design, build, and... ...management Build secure, scalable APIs and services... ...standards for correctness, testing, observability... ...compensation, meaningful equity, and the opportunity...
Employment Equity
Senior
Alterion Inc
San Francisco, CA
3 days ago
Senior Infra Security Engineer - Kubernetes & Cloud (Equity)
...is seeking an experienced Infrastructure Security Engineer to design and implement security in a... ...long-term security roadmap for advanced AI systems. Your role includes auditing, hardening... .... Significant compensation and equity opportunities are available. #J-18808-Ljbffr...
Employment Equity
Senior
Xcede
San Francisco, CA
18 hours ago
Sr. Security Software Engineer, Vulnerability Management - Slack
$172.5k - $260.1k
...SalesforceSalesforce is the #1 AI CRM, where humans with... ...people’s working lives more secure. We are serious about protecting... ...!What you will be doingAs a Senior Software Engineer on the Vulnerability... ...for incentive compensation, equity, and benefits. Salesforce offers...
Employment Equity
Senior
Permanent employment
Full time
Salesforce
San Francisco, CA
3 days ago
Senior AI Security Engineer
$163.2k - $220.8k
...global corporations, as well as the venture firms, private equity firms, and investment banks that finance and advise them.... ...achievement and career growth. Wilson Sonsini is looking for a Senior AI Security Engineer to join the Security Operations team. The Senior AI...
Employment Equity
Senior
Full time
Work experience placement
Remote work
Worldwide
Shift work
Wilson Sonsini Goodrich & Rosati
San Francisco, CA
2 days ago
Senior Software Engineer, Infrastructure, Google Cloud Security and Privacy
$174k - $252k
.... 5 years of experience with software development in C++, C, or Python... .... Google's software engineers develop the next-generation technologies... ...networking and data storage, security, artificial intelligence,... ...0 (USD) + 15% bonus target + equity + benefitsLearn more about...
Employment Equity
Senior
Google
San Francisco, CA
4 days ago
Senior Software Engineer (Infrastructure )
$2,000 per month
Amplitude is the leading AI analytics platform... ...to Diversity Equity & Inclusion (DEI):... ...Our in-house OLAP engine, Nova, processes... ...Nova's throughput, correctness, and operational... ...'re looking for a Senior Software Engineer who wants... ...number or social security number during the...
Employment Equity
Senior
Worldwide
Home office
Amplitude
San Francisco, CA
2 days ago
Senior Staff Security Engineer - Cloud and Network Security
$210k - $230k
...receive competitive base pay, benefits, and equity (RSUs) — because everyone who helps... ...about ourTotal Rewards philosophy.AI is a fundamental part of how work gets... ...process.About the Role:We're looking for a Senior Staff Security Engineer to lead Gusto's edge and network...
Employment Equity
Senior
Full time
Work at office
Local area
Remote work
2 days per week
3 days per week
Gusto
San Francisco, CA
1 day ago
Site Reliability Engineer (Senior or Staff), Infrastructure Security
$127k - $249k
...looking for an experienced Senior or Staff Engineer for our SRE, InfraSec team, to guide the security of our cloud-based... ...data platform for the AI era, enabling builders... ...industries with software. MongoDB’s unified data... ...employees may include: equity, participation in the...
Employment Equity
Senior
Local area
Remote work
Worldwide
Flexible hours
MongoDB
San Francisco, CA
4 days ago
Senior Software Engineer, Cloud Infrastructure / SRE
$180.5k - $236.91k
...Oscar. We're hiring a Senior Software Engineer, Cloud Infrastructure... ...without sacrificing security or stability.You will... ...vacation program, company equity grants, and annual... ...for writing stable, correct, and maintainable... ...Artificial Intelligence (AI): Our AI Guidelines...
Employment Equity
Senior
Full time
Work at office
Remote work
Oscar Health Insurance
San Francisco, CA
3 days ago
Senior Software Engineer, Risk
...partnership with engineering, product management... ...respond to reliability, security, and performance... ...~8+ years of software development experience... ...Experience using AI tools to... ...and reviewing and correcting AI-generated work.... ...Competitive benefits and equity in the form of RSUs...
Employment Equity
Senior
Full time
Work at office
Remote work
2 days per week
3 days per week
Gusto
San Francisco, CA
12 days ago
Senior Cloud Security Engineer
...Senior Cloud Security Engineer BackOps AI is transforming supply chain operations with agentic AI solutions that automate complex workflows, freeing... ...better, and remediated faster What We Offer Equity & Ownership: Competitive equity so you grow alongside...
Employment Equity
Senior
Remote work
Flexible hours
BackOps
San Francisco, CA
2 days ago
Senior Software Engineer; Analytics Compute Platform team
$167k - $230k
Amplitude is the leading AI analytics platform,... ...to Diversity Equity & Inclusion (DEI): Amplitude... ...to thrive.Senior Software Engineer - Analytics Compute Platform... ...question into a fast, correct answer.Our mandate: enable... ...number or social security number during the job...
Employment Equity
Senior
Work at office
Home office
Flexible hours
Amplitude
San Francisco, CA
4 days ago
Senior Cloud Security Engineer
$141k - $221k
Iterable is the leading AI-powered customer engagement platform... ...engagement—all with enterprise-grade security and compliance. Today, nearly... ...new features and services. As Engineers, we believe in security... ...Competitive salaries, meaningful equity, & 401(k) planMedical, dental,...
Employment Equity
Senior
Contract work
Local area
Immediate start
Remote work
Worldwide
Home office
Shift work
Iterable
San Francisco, CA
2 days ago
Senior Engineering Manager, Software Supply Chain Security
$197k - $288k
...the leader in code security for builders,... ...as you build, with AI that learns your context... ...secure their software from vulnerabilities... ...mentoring junior engineers, collaborating on... ...productCoaching a senior engineer, helping... ...location, internal equity, and market data....
Employment Equity
Senior
Temporary work
Currently hiring
Work at office
Local area
Remote work
Weekend work
3 days per week
Semgrep
San Francisco, CA
2 days ago
Dioptra (an Icertis Company) Senior Software Engineer
$180k - $280k
...an Icertis Company) — Senior Software Engineer Type: Full-time | On-... ...-$280K + competitive equity Hiring count: 1 for... ...founder / VP of Agentic AI, Icertis Hiring... ...someone else's mess. Security work that actually matters... .... Doug course-corrected mid-call: he'd been sending...
Employment Equity
Senior
Full time
Contract work
H1b
Work at office
Relocation
Visa sponsorship
David Joseph
San Francisco, CA
2 days ago
Senior Cloud Security Engineer
...Senior Cloud Security Engineer Denver, CO or Long Beach, CA or SF Bay Area, CA... ...advanced payloads, mission software, and space-based interceptors... ...direction. You'll be working in an AI-native environment where... ...265,000 for SF Bay Area Equity + Benefits including Health...
Employment Equity
Senior
True Anomaly
San Francisco, CA
3 days ago
Senior Software Engineer, Risk
$150k - $170k
...pay, benefits, and equity (RSUs) — because... .... AI is a fundamental... ...We're hiring engineers to join our Risk... ...Risk system. As a Senior Software Engineer, you'll... ...to reliability, security, and performance... ..., reviewing, and correcting AI-generated work...
Employment Equity
Senior
Full time
Temporary work
Work at office
Local area
Remote work
2 days per week
3 days per week
Gusto
San Francisco, CA
13 days ago

Do you want to receive more vacancies?

Subscribe and receive similar vacancies to Senior Software Engineer - AI Correctness & Security, Equity. Be the first to apply!