Posting timing (day/hour) is available only when there are at least 5 jobs with a real publish stamp spread across 3 distinct days. This company's source doesn't expose post times, or there isn't enough data yet — showing what we know for sure: how many jobs are open, in which domains, and at which seniority levels.
Showing: Israel. Click another pill to switch.
Open now
0
Total active openings across all sites
Δ 28-day
0
Opens minus closes in the last 28 days
Δ 90-day
0
Opens minus closes in the last 90 days
posting velocity //
Based on 2 events over 2 days. Green days had more opens than closes, red vice-versa. The dark line is the 7-day rolling average.
role mix //
The green layer is the current share of active openings by role. The grey dashed layer is the 90-day baseline — gaps between them show where the company is shifting its hiring mix.
seniority pyramid //
Seniority is not exposed by the source for this company.
Distribution of active openings by seniority. The 'unknown' row groups jobs from sources that don't expose seniority.
geography //
—
Active openings by region. Click a row to see jobs in that area.
time on market //
Median
0.5 days
25th pct
0.5 days
75th pct
0.5 days
Based on 1 closed jobs and 0 still open (right-censored). Curve is Kaplan-Meier; band is the 95% CI.Still collecting — median tracking age is ~0.5 days (need 14+). 100% of closures were within 3 days, which often reflects feed churn rather than hires.
Window: 180 days back. Don't read the mean — the long tail biases it. Median and percentiles are the honest summary.
Republish rate
—
Fewer than 10 closures in the window — not enough to compute.
company intel · ai-generated
Updated 19h ago
Certora is a private company specializing in formal verification of smart contracts on blockchain networks. Its core technology mathematically proves the correctness of smart contract code before deployment, catching vulnerabilities and bugs that traditional testing can miss.
Certora's primary product is Certora Prover, a formal verification tool for smart contracts written in Solidity, the main programming language for Ethereum. The tool allows DeFi (decentralized finance) protocol developers to write formal specifications and mathematically verify that their code satisfies them. Known customers include major DeFi protocol teams such as Aave, Compound, and MakerDAO, which have used Certora Prover to audit their contract code.
Certora Prover is the flagship product. It operates using SMT solver-based logic and allows users to define rules and properties in a dedicated specification language called CVL (Certora Verification Language). Alongside the automated tool, the company also offers smart contract security audit services.
Certora operates out of Israel, with most of its technical team based there. Detailed public information on headcount, funding figures, and exact office locations is limited.
key people & leadership
1 key people, sourced from public records — with a per-row confidence score.
Mooly Sagiv
Co-Founder and CEO
news feed
No recent news about this company.