Senior Software Engineer, Formal Verification
EngineeringRemoteNew York City or United StatesUSD 180K–USD 250K / yearly
Category Labs jobs and hiring trends
Blockchain70 employeesFounded 2022
Company identity and hiring signals verified from public source listings
- Active roles
- 3
- New in 7 days
- 3
- Hiring velocity
- —
- Top function
- engineering
- Comparable salary
- —
- Remote-friendly
- 100%
4 observed days
3 classified
Needs 5 comparable ranges
3 of 3 classified
Observed daily snapshots
Active-role trend
Latest: 3 roles
Sep 9Sep 15
Observed active listings increased from 2 to 3 across 4 snapshot days. Missing days are left as gaps and are not estimated.
View accessible snapshot table
| Date | Active listings |
|---|---|
| 2026-09-09 | 2 |
| 2026-09-10 | 2 |
| 2026-09-12 | 2 |
| 2026-09-15 | 3 |
Listing recency
Source observation
- Observed by source within 7 days
- 3 of 3
- Latest source observation
What this company is hiring for
Engineering2
Software1
Based on n=3 classified listings
Seniority mix
Senior3
Based on n=3 classified listings
Work model
Remote3
Based on n=3 classified listings
Top hiring locations
United States3
Based on n=3 classified listings
Verified active listings
Open roles at Category Labs (3)
About Category Labs
Developing a high-performance EVM-compatible Layer 1 blockchain protocol.
- Industry
- Blockchain
- Company size
- 70 employees
- Founded
- 2022
- Facts checked
- Sep 9, 2026