Loading...

Senior Researcher – Formal Verification Tools Developer

by Certora
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

International Tax Manager
On-site
Finance
12 January 2026 by Genesis Digital Assets
Construction Site Manager
On-site
Operations
12 January 2026 by Genesis Digital Assets
Energy Procurement Specialist
On-site
Other
12 January 2026 by Genesis Digital Assets
Data Center Electrical Designer
On-site
Design
12 January 2026 by Genesis Digital Assets
Software Engineer - Blockchain
On-site
Technical
12 January 2026 by Rain
Solutions Architect APAC
On-site
Technical
12 January 2026 by Rain
Account Manager APAC
On-site
Operations
12 January 2026 by Rain
Compliance Analyst (AML, KYB, KYC)
On-site
Non-Tech
12 January 2026 by Rain
Technical Support Analyst
On-site
Customer Support
12 January 2026 by Rain
Machine Learning Lead
Remote
Operations
12 January 2026 by Cred Protocol