<ul> <li> Work on cutting-edge technology and challenging problems at the forefront of Web3 applications and technologies</li> <li> Contribute to unique formal verification technology, the leading way to ensure the behavior of any type of software </li> <li> Experience a friendly creative start-up environment with top talent in the domain</li> <li> Work in a fast-paced and supportive culture: we move fast and break nothing!</li> <li> Enjoy flexible work (remote / hybrid)</li> <li> Get competitive compensation &amp; benefits (including equity)</li> </ul>

Software Engineering

Arlington, VA, USA

Certora develops unique technology which supplements your programming experts and manual auditors by automatically detecting security vulnerabilities both before the code is deployed and during operation. The process is executed automatically and provides mathematical proofs of correctness on a daily basis. For carefully defined properties of your software, Certora technology can completely guarantee the absence of security vulnerabilities.

Tel Aviv-Yafo, Israel

Center District, Israel

Ezor Tel Aviv, Israel

Certora

Senior Researcher - Formal Verification Tools Developer

Since our inception as a Skunkworks intern project in late 2015, Jump Crypto has grown into a world-class, dynamic team of high-performing players across a range of functions. Today, we play an important role in the development of some of the largest and most innovative crypto communities.

We are builders, partners, innovators, and traders who take a long-term view of the future of blockchain, cryptocurrency, and all things Web3, and operate to unlock the full value and potential of open-source, community-driven projects. We are deeply committed to building the critical infrastructure required to catalyze growth in the ecosystem.

Jump Crypto is a division of Jump Trading Group, a research-driven quantitative trading firm and one of the largest traders, by volume, across traditional asset classes. For more on our history, culture, and the road ahead, please visit us at www.jumpcrypto.com and follow us on Twitter at @jump_.

Jump Crypto

Discover exciting career opportunities with our fellow innovators and partners in Web3.

Tell us about your professional DNA to get discovered by any company in our network with opportunities relevant to your career goals.

Leverage our network to build your career.

#### Welcome!

Thank you for joining Jump Crypto Network!

To help us best support you in your search, please take a few minutes to tell us about what you are looking for in your next role. We'll use this information to connect you to relevant opportunities in the Jump Crypto network as they come up.

You can always update this information later.

Welcome to the Jump Crypto talent network

As our companies grow, they look to us to help them find the best talent.

Signal that you'd be interested in working with a Jump Crypto company to help us put the right opportunities at great companies on your radar. The choice to pursue a new career move is then up to you.

Your professional information is now visible to our team and companies in our network.


We will be in touch when we find a great opportunity for you at one of our companies.

Thanks for signing up

As our companies grow, they look to us to help them find the best talent.
Signal that you'd be interested in working with a JumpCrypto company to help us put the right opportunities at great companies on your radar. The choice to pursue a new career move is then up to you.

Jump Crypto Friends are Hiring

Senior Researcher - Formal Verification Tools Developer