View All Opening Roles

Verification Engineer

Remote
Full-time

Remote, Preferred United States/Global, Diligence Team, Full Time

At ConsenSys we have a vision of a world where data sovereignty and financial well-being is accessible to every person and organization. We believe Ethereum and decentralized protocol technology is a more trustworthy and equitable foundation for how we create and share value across the web. On this trusted, open source foundation, we can accelerate the world’s transition to a universally accessible network of distributed participants where transparency, security and freedom are fundamental.

Our product suite, composed of Truffle, Infura, Quorum, Codefi, MetaMask, and Diligence, serves millions of users, supports billions of blockchain-based queries for our clients, and has handled billions of dollars in digital assets. As the leading Ethereum software company, ConsenSys enables developers, enterprises, and people worldwide to build next-generation applications, launch modern financial infrastructure, and access the decentralized web. To learn more about ConsenSys, and explore our products and solutions, visit http://consensys.net/

Why join ConsenSys?

Remote first. You’ll be joining a team based all over the world. Providing the unique opportunity to work with people from many different countries and cultures. Want to work remotely? Go ahead. Or pop into one of our offices? We’ve got you covered in NYC, DC, Dublin, London, Paris, Brisbane and Hong Kong. 

Flexible working arrangements. You can create your own journey with flexible schedules and locations. We believe everyone has the right to control their own freedom. Our people can make their own schedule, own their own time, and we encourage you to travel and work from anywhere in the world.

Continuous learning and opportunities. You’ll be constantly exposed to new concepts, ideas and frameworks from your peers and as you work on different projects — challenging you to stay at the top of your game. To support your development we pay for you to learn by offering unlimited access to Coursera, a platform with thousands of courses for you to learn whatever you want, and acquire new skills.

Unlimited vacation/holidays. We value downtime to recharge and reset, ensuring everyone at ConsenSys has work/life balance. Company-wide we participate in “zero productivity” days every quarter to take a break from work, shut down, and sit back and relax. 

One of the most recognized tech companies in the blockchain ecosystem globally. Work experience at ConsenSys is a tremendous reference for your future career. You’ll join a network of entrepreneurs and technologists that reaches the edge of our ecosystem.   

 

About Diligence

ConsenSys Diligence helps developers and smart contract architects to build more secure blockchain and smart contract applications. Our full remote team, distributed all over the world, is supporting the high demand for smart contract audits in the ever growing ecosystem. We are proud to help a fast growing list of clients, including major financial institutions, corporates and crypto / DeFi native companies such as Aave, 0x, Balancer, Uniswap, Status and many more. Our aim is to make blockchain safer.

We are the creators of the MythX security analysis service, the Scribble runtime verification tool for Ethereum smart contracts, and we are leading standard setting industry references and tools, including: SWC Registry, Smart Contract Best Practices, and Blockchain Security Database, Legions (Ethereum/EVM Node Security Toolkit), Solidity Visual Developer VScode extension, and many more.

What you’ll do

We are looking for passionate smart contract developers and fuzzing enthusiasts!

Candidates should have a strong understanding of Solidity and be familiar with techniques such as fuzzing and property-based testing.

At Diligence, you will have the opportunity to work with and learn from some of the brightest minds in the space, to see how we approach development, hacking, threat modelling, scanning, auditing, designing and enhancing the security of smart contracts across the board.

Alongside consulting with clients, we provide you with plenty of time for research and development efforts where you can push the state of the art and science of blockchain security.

Most of the work can be done remotely from wherever you are; little travel is anticipated (most of the team works remotely around the world).  Along with a focus on technical excellence, we also believe firmly that culture and processes play an essential role in security.

We are looking for exceptionally intellectual, bright and technically driven individuals who can communicate their ideas clearly while working with clients to achieve their security objectives.

Day to Day

Being a formal verification engineer at Diligence means an incredibly diverse day to day. Your primary responsibilities are to do property writing engagements, and to consult our clients on the properties that they’ve written themselves.

Our team also offers many opportunities for taking on additional responsibilities. We’ve built state-of-the-art fuzzing and analysis tools that you can contribute to! And of course there is always room for more tools!

You’ll be in a position where you get to collaborate with a team of the best auditors and tool builders in the space!

Qualifications

* Excitement about fuzzing and formal verification

* Experience developing and building on top of DeFi protocols or other smart contracts

* Experience with Solidity smart contract development

* Experience with formal verification and testing techniques

* Demonstrated ability to work well with clients, and communicate clearly and concisely in a written format

Preferable Tech Stack Experience:

* Solidity, Scribble, Diligence Fuzzing, Truffle, Hardhat and Brownie

Nice to Haves

* Perform formal methods engagements

* Consult with clients on their properties and fuzzing setup

* Experience building tooling in Javascript, Typescript or Python

* Experience building program analysis tools

* BS degree or higher in a relevant field or equivalent practical experience

* A portfolio of blog posts or presentations on topics related to DeFi or formal methods

Don't meet all the requirements? Don't sweat it. We’re passionate about building a diverse team of humans and as such, if you think you've got what it takes for our chaotic-but-fun, remote-friendly, start-up environment—apply anyway. While we have a pretty good idea of what we need, we're ready for you to challenge our thinking on who needs to be in this role.

 

ConsenSys is an equal opportunity employer. We encourage people from all backgrounds to apply. We are committed to ensuring that our technology is made available and accessible to everyone. All employment decisions are made without regard to race, color, national origin, ancestry, sex, gender, gender identity or expression, sexual orientation, age, genetic information, religion, disability, medical condition, pregnancy, marital status, family status, veteran status, or any other characteristic protected by law.

ConsenSys is aware of fraudulent recruitment practices and we encourage all applicants to review our best practices to protect yourself which can be found here.

#LI-Remote #LI-EC1

Benefits
title
Competitive benefits

We have a comprehensive and competitive benefits package to make sure we’re looking after you and what matters most.

title
Equity

We believe in ownership and want everyone to have a stake in our future success, that’s why you’ll receive equity when you join us.

title
Recognized in the blockchain and Web3 ecosystem

Working at ConsenSys is a tremendous reference for your career. You’ll join a network of entrepreneurs and technologists that extends across the global crypto ecosystem.

title
Continuous learning & opportunities

We provide ongoing growth and development through on-the-job learning, and the ConsenSys Advance Program which includes full access to Coursera, bespoke and technical learning programs and ConsenSys Academy our world-class blockchain and Ethereum program.

title
Unlimited vacation/holidays

We value downtime to recharge and reset, ensuring everyone at ConsenSys has work/life balance. In addition, company-wide we participate in “zero productivity” days to take a break from work, shut down, and sit back and relax.

title
Flexible working arrangements

With our global workforce we have fine-tuned asynchronous working which means we have a lot of flexibility in the structure of when we work and how we work together.

title
Remote first

You’ll be joining a team based all over the world. Providing the unique opportunity to work with people from across 6 continents.