galaxy venture portfolio, portfolio company, venture investing, stage-agnostic, investments, protocols, scaling solutions, DeFi, web3, infrastructure,

Galaxy Ventures

Your next career starts here.

Apply to opportunities at industry leading companies within the Galaxy Ventures portfolio.

Join our Talent Network
Search 
jobs
Explore 
companies
My job alerts

Senior Researcher - Formal Verification Tools Developer

Certora

Certora

Software Engineering
Arlington, VA, USA
Posted on Nov 6, 2025
Apply now
  • 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
See more open positions at Certora
Privacy policyCookie policy