Protocol Security Researcher
Aave Labs·1 month ago
View organization detailsHide organization details
Aave Labs develops products and software for the Aave ecosystem and is the original author and contributor to Aave Protocol.
Skill
Formal Method Jobs
Explore Formal Method jobs in blockchain and crypto. Find positions requiring Formal Method skills.
Job market intelligence
formal method market pulse
Daily open opportunities, newly observed postings, hiring breadth, and normalized monthly compensation for jobs in this pillar.
Open jobs
2
As of 2026-11-09
Hiring companies
2
Distinct employers
New this week
0
+0 vs prior week
Job velocity
Low activity
7 days vs previous 7 days
Opportunity activity
Open roles, employers, and newly listed jobs by day
All-mode pay history
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.
Director of Security
Zodl·3 months ago
3 months agoHeadSalary: 185K - 230KUnited States; Chile; Czech Republic; France; New Zealand; Slovakia; United KingdomRemoteFull TimeCybersecurityJobs by Zodl
View organization detailsHide organization details
Zodl is a Zcash-powered mobile wallet focused on private, self-custodial cryptocurrency payments and asset management.
Funding