Search tech jobs | RoleBlip

Jobs Ask AI Pay CompareSign in

Loading roles…

Every role is read from the employer's own job board. You apply on the employer's site.Jobs Browse roles Pay Compare with LinkedIn Monthly report Companies we cover About

RoleBlip agent

Describe the job you want

Sign in to chat back and forth. The agent refines this search as you talk, compares pay, checks roles against your résumé and saves them for you.

Filters

RoleSoftware engineering1ML / AI engineering2Research2Infra, platform & SRE1

LocationBay Area4Outside the US1

Level

Work typeOnsite1

Base pay at leastAny pay$100K+3$150K+3$200K+3$250K+3$300K+1

PostedAny timePast 24 hours0Past week0Past month1

MoreAI/ML roles onlyPay listedMember of Technical StaffManagers onlyHide roles we've seen on LinkedIn

4 roles from 6,851 employers, all re-checked on their own boards 2 h ago

Sort

“Theorem”×Clear all

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

Research

$150K–$250K / yr

Posted Oct 22, 2025

checked 2 days ago