Match score not available

Smart Contract Verification Engineer (Diligence) (Blockchain)

Remote:

Full Remote

Contract:

Full time

Experience:

Mid-level (2-5 years)

Work from:

Hong Kong

Offer summary

Qualifications:

BS degree or equivalent experience, Experience in Solidity smart contract development, Experience with formal verification techniques, Experience building on DeFi protocols, Knowledge of JavaScript, TypeScript, or Python.

Key responsabilities:

Conduct security audits of smart contracts
Consult with clients on blockchain security
Research and develop blockchain security tools
Enhance the security of managed smart contracts
Participate in fuzzing and formal verification tasks

CryptoRecruit Human Resources, Staffing & Recruiting SME https://www.cryptorecruit.com/

11 - 50 Employees

See more CryptoRecruit offers

Job description

Your missions

Company

This client is one of the largest blockchain development companies in the world building out household name applications across finance, DeFi, NFT’s and general blockchain SaaS solutions. Most of their employees operate fully remotely and we are looking for staff across a number of disciplines with this top tier client.

Responsibilities

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, the company provides 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.

Requirements

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

Potential Skills

Experience with Solidity, Scribble, Diligence Fuzzing, Truffle, Hardhat and Brownie

Other Skills

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

Remuneration And Benefits

Better than market rate with equity plan

Make sure to follow us here to get our most live jobs https://www.linkedin.com/company/cryptorecruit

Cryptorecruit is the world’s leading specialist recruiter for the blockchain/cryptocurrency industry. We recruit positions from CEO, CTO, Project Managers, Solidity Developers, Frontend and Backend Blockchain Developers to Marketing/Sales and Customer Service roles. Please browse our website and at www.cryptorecruit.com to search all our job vacancies.