Loading...
Find Job
Telegram Bot
Post Job
Find Job
Telegram Bot
Post Job
Senior Researcher – Formal Verification Tools Developer
by
Certora
Facebook
Twitter
Pinterest
LinkedIn
Apply Now
Technical
18 November 2025
Work on
cutting-edge technology and challenging problems at the forefront of Web3 applications and technologies
Contribute
to unique formal verification technology, the leading way to ensure the behavior of any type of software
Experience
a friendly creative start-up environment with top talent in the domain
Work in
a fast-paced and supportive culture: we move fast and break nothing!
Enjoy
flexible work (remote / hybrid)
Get
competitive compensation & benefits (including equity)
Apply Now
Employment Type
On-site
Certora
View profile
Related Jobs
Other similar jobs that might interest you
Staff Accountant
On-site
Finance
7 March 2026
by
Arbitrum
Senior Quality Engineer, Full Stack
On-site
Technical
7 March 2026
by
Arbitrum
Research Scientist/Engineer
On-site
Other
7 March 2026
by
Arbitrum
Staff Backend Engineer ($300k - $500k salary)
On-site
Technical
7 March 2026
by
Baton Corporation
Head of Policy & Thought Leadership Communications
On-site
Marketing
7 March 2026
by
Kast
Card Operations Specialist
On-site
Operations
7 March 2026
by
Rain
Software Engineer - Solana
On-site
Technical
7 March 2026
by
Rain
Senior Rust Software Engineer - Low-latency Networking
On-site
Technical
7 March 2026
by
Triton One
Security Lead
On-site
Operations
7 March 2026
by
Solana Foundation
Staking Operations Lead
On-site
Operations
7 March 2026
by
Solana Foundation