Senior Researcher - Formal Verification Tools Developer
Certora
Software Engineering
Arlington, VA, USA
Posted on Nov 6, 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)