Certora·2 months ago
View organization detailsHide organization details
Certora provides formal verification tools for smart contract security, automatically identifying vulnerabilities before deployment.
Funding
Explore Forecasting jobs in blockchain and crypto. Find positions requiring Forecasting skills.
Daily open opportunities, newly observed postings, hiring breadth, and normalized monthly compensation for jobs in this pillar.
As of 2026-11-03
Distinct employers
+8 vs prior week
7 days vs previous 7 days
Remote pay is separated from onsite and hybrid pay so expensive cities do not distort the remote benchmark.
Remote
236 salaries from 82 employers
188 open jobs at 94 hiring companies
Onsite + hybrid
481 salaries from 141 employers
415 open jobs at 155 hiring companies
| Country market | Open jobs | Hiring companies | Median | Middle 50% | Evidence |
|---|---|---|---|---|---|
| United States | 269 | 105 | $17.1K/mo | $13.1K/mo – $22.9K/mo | 431 salaries from 128 employers |
| United Kingdom | 27 | 25 | $23.6K/mo | $19.2K/mo – $28.2K/mo | 12 salaries from 6 employersLimited |
| Germany | 11 | 6 | $28.5K/mo | $20K/mo – $33.4K/mo | 4 salaries from 3 employersLimited |
| France | 9 | 6 | $17.7K/mo | $10.5K/mo – $21.6K/mo | 6 salaries from 4 employersLimited |
| Canada | 3 | 3 | $8.9K/mo | $7.2K/mo – $11.2K/mo | 3 salaries from 2 employersLimited |
| Ireland | 3 | 3 | $12.2K/mo | $10.1K/mo – $17.1K/mo | 3 salaries from 3 employersLimited |
Open jobs are current; salary evidence covers the past 12 months and also uses closed postings. Every place rolls up through its canonical city, region, country, and continent hierarchy exactly once.
Open roles, employers, and newly listed jobs by day
Historical context; use the work-market split above for current pay
Earlier open counts are estimated from observation dates. Offline postings are never inferred open for more than 90 days; new daily samples are exact snapshots.
Certora·2 months ago
Certora provides formal verification tools for smart contract security, automatically identifying vulnerabilities before deployment.
Funding
AI safety and research company building reliable, interpretable, and steerable AI systems, including the Claude product family and developer platform.
Funding
Investors
Formic·2 months ago
Formic provides full-service, robotics-as-a-service automation for U.S. manufacturers, including deployment, operation, monitoring, and maintenance of industrial robotic systems without upfront capital investment.
Funding
Investors
Venture studio that launches, operates, and scales technology companies across healthcare, cyber, and national security.
Venture studio that launches, operates, and scales technology companies across healthcare, cyber, and national security.
Anthropic·2 months ago
AI safety and research company building reliable, interpretable, and steerable AI systems, including the Claude product family and developer platform.
Funding
Investors
Raven·2 months ago
Raven is a proprietary high-frequency trading and market-making firm.
Investors
TerraClear, Inc.·2 months ago
TerraClear is a U.S. agricultural-technology company using AI, machine vision, and robotics to deliver field mapping, rock-management, and weed-management solutions.
Funding
Investors
Lightnet Group·2 months ago
Lightnet Group is a Singapore-headquartered fintech operating regulated global payment and settlement infrastructure for cross-border payments, on/off-ramps, FX/liquidity, and fiat–digital-asset settlement.
Venture studio that launches, operates, and scales technology companies across healthcare, cyber, and national security.