Theorem

Program verification so even your systems engineers can vibecode

EarlySan Francisco, CA, USA4 peopleFounded 2025YC X25

4 open roles

Engineering · San Francisco, CA, US

Engineering job in San Francisco

$150k–$250kApply
Engineering · San Francisco, CA, US

Science job in San Francisco

$300k–$500kApply
Engineering · San Francisco, CA, US

Engineering job in San Francisco

$300k–$500kApply
Engineering · San Francisco, CA, US

Engineering job in San Francisco

$150k–$250kApply

Roles are read from Theorem’s Y Combinator every hour and disappear here as soon as they close there.

Data insights

Theorem hiring insights

Counted from every role read from its board, compared with every startup listed on firsthires.live.

Key findings

  • Theorem has the 1488th most open roles of 2,946 startups hiring on firsthires.live.
  • 4 open roles is 0.9× the average Early startup here (4.3).
  • 75% of openings are in Engineering, then Science (25%).
  • Most roles are graduate / entry (50%). 2 roles suit graduates or interns.
  • With a team of about 4, these openings would grow headcount by up to 100%.
  • Median posted pay of $300k is 107% above the Early startup median ($145k).
Show 7 more findings
  • Engineering pay here (median $200k) is 9% above the market median for Engineering ($183k).
  • 100% of its roles post pay, against 42% across all listed startups.
  • 0% of its roles are fully remote (market: 23%).
  • 4 postings say they sponsor visas.
  • 4 roles added in the last 30 days; 0 closed in the last 90.
  • A typical open listing here is 12 months old, against 2 months across the site.
  • Founded 1 year ago, in Y Combinator’s Spring 2025 batch.

Hiring momentum

Momentum score50out of 100Too little data

50 is flat. Blends the 4-week change, the 12-week trend and net roles added.

Added, last 4 weeks
00%
vs 0 in the 4 weeks before
Added last week
00%
Week before: 0
Weekly trend
+0.00
Roles/week, per week · R² 0.00
Net roles, 4 weeks
+0
0 added − 0 closed
Forecast this week
0
Holt exponential smoothing
Average week
0.0
σ 0.0 · CV —
4-week refresh rate
0%
New roles ÷ open roles
4-week churn
0%
Closed roles ÷ open roles
Median time listed
>90 days
0% close within 30 days
Roles added and closed per weekAddedClosed4-week avg
Week of 3 Aug: 0 added, 0 closed, net +0Week of 10 Aug: 0 added, 0 closed, net +0Week of 17 Aug: 0 added, 0 closed, net +0Week of 24 Aug: 0 added, 0 closed, net +0Week of 31 Aug: 0 added, 0 closed, net +0Week of 7 Sept: 0 added, 0 closed, net +0Week of 14 Sept: 0 added, 0 closed, net +0Week of 21 Sept: 0 added, 0 closed, net +0Week of 28 Sept: 0 added, 0 closed, net +0Week of 5 Oct: 0 added, 0 closed, net +0Week of 12 Oct: 0 added, 0 closed, net +0Week of 19 Oct: 0 added, 0 closed, net +0Week of 26 Oct (so far): 4 added, 0 closed, net +4
Week of 3 AugThis week (so far)

Momentum, explained

  • Theorem hasn’t added enough roles in the last few months to read a trend yet.

Hiring history

Roles ever listed here
4
Roles added in 30 days
4
Roles added in 90 days
4
Roles closed in 90 days
0
Tracked since
Oct 2026
Rank by open roles
#1,488
of 2,946 hiring startups
Openings per current employee
1.00

Volume and freshness

Open roles
4
Listed in the last 7 days
0
0% of open roles
Listed in the last 30 days
0
0% of open roles
Typical listing age
12 months
Oldest: 12 months

Pay

Median posted pay
$300k
Annual USD, range midpoint
Middle half of pay
$200k–$400k
25th to 75th percentile
Roles that post pay
100%
4 of 4
Mention equity
0%

Work, level and access

Fully remote
0%
Say they sponsor visas
4
Graduate and intern roles
2
Median experience asked
3 yrs

Breakdowns

Roles added per month4 roles
MayJunJulAugSeptOct
By the month firsthires.live first saw each role.
Roles by team
  1. 1Engineering375%
  2. 2Science125%
Roles by level
  1. 1Graduate / entry250%
  2. 2Mid level125%
  3. 3Senior125%
Where the work happens
  1. 1Not stated4100%
Top cities named
  1. 1San Francisco4100%
Contract type
  1. 1Full-time4100%
Departments on the board
  1. 1Engineering4100%
Posted pay spread (annual USD)
$150kLow$200k25th$300kMedian$400k75th$500kHigh
Theorem vs Early startups (annual USD)Theorem median: $300k
$97kLow$97k25th$145kMedian$185k75th$300kHigh

Pay is each role’s posted range converted to annual US dollars, midpoint. See every Theorem role.