Search tech jobs | JobsWithPay

Jobs Ask AI Pay CompareSign in

The jobs load…

We read every job from the company's own job board. You apply on the company site.Jobs Job types Internships New graduate jobs Pay Reported pay Check an offer Add your pay Compare with LinkedIn Monthly report Companies we cover Make a portfolio page For companies: find people About

Filters

Job typeSoftware engineering2ML / AI engineering2Research2Infra, platform & SRE1

LocationBay Area5Outside the US1

LevelSenior1

Work typeOnsite1

Minimum base payNo minimum$100K+4$150K+4$200K+4$250K+4$300K+2

Date postedAll datesLast 24 hours0Last 7 days0Last 30 days1

Other filtersOnly AI and ML jobsPosted payMember of Technical StaffOnly manager jobsHide jobs that we found on LinkedIn

5 jobs from 7,528 companies, checked on their job boards 2 h ago

Sort

“Theorem”×Remove all filters

Lean Theorem Proving Engineer, Verified Code Generation, DeepMind
GoogleLondon, England, United Kingdom +1
- Onsite
- Software engineering
Pay not posted
Posted 29 days ago
checked 4 days ago
Systems Engineer
TheoremSan Francisco, California
- Infra, platform & SRE
$150K–$250K / yr
Posted Oct 22, 2025
Senior SWE
TheoremSan Francisco, California
- Senior
- Software engineering
$300K–$500K / yr
Posted Oct 22, 2025
ML Research Scientist
TheoremSan Francisco, California

Research

$300K–$500K / yr

Posted Oct 22, 2025

ML Research Engineer

TheoremSan Francisco, California

Research

$150K–$250K / yr

Posted Oct 22, 2025

JobsWithPay agent

Sign in to use it

Free in beta

Sign in to use the agent

The agent changes this search while you chat. It also compares pay, compares jobs with your résumé and saves jobs for you. All features are free while JobsWithPay is in beta.

Sign in for free