May 2025 data
Rocq startup salary data
As of May 2025, the median Rocq salary at startups is $150k across 1 verified Hacker News “Who is Hiring” listings.
Based on 1 verified Rocq listing from Hacker News “Who is Hiring”. Sample size is shown so you know how much weight to give the number.
Market Signal (August 2026)
Top Hirers: Formal Stack leads hiring for Rocq roles with 1 active posts.
🌍 Location & Remote Dynamics
Remote-Friendly: Rocq is highly remote-friendly, with 100% of roles open to remote work.
💡 Tech Stack Context
Common Stack: 100% of Rocq jobs also require Ebpf.
💰 Compensation Analysis
The median base salary for Rocq developers is $150,000, with top-tier roles (P75) reaching $150,000.
Rocq jobs
| COMPANY | ROLE | SALARY | VIBE | STACK | |
|---|---|---|---|---|---|
| Formal Stack | Formal Verification Engineer | USD 150,000 - USD 200,000 |
[F] CRUNCH
|