Blockchain Security Engineer

What you will do

• Participate on all security-related processes developing Ethereum protocols (e.g. DeFi, NFT).
• Execute internal audits of smart contracts’ systems.
• Integrate systematically formal verification tools on smart contracts codebases.
• Research/follow last blockchain developments to present to the rest of the team.
• Collaborate with senior blockchain developers during the creation phase of decentralized systems.

Requirements

• 5+ years of experience in software security.
• 3+ years of experience with Ethereum smart contracts.
• Formal education on Computer Science or Mathematics.
• High-level understanding and experience with languages running on the EVM: Solidity, Vyper, Yul.
• Experience auditing (internally/externally) DeFi systems, from both technical and economical points of view.
• Hands-on experience with formal verification tools.
• Ability to write high-quality security reports, private and public.
• Interest on Ethereum research and edge advancement on the ecosystem.
• Solid understanding and proficiency of Javascript/Typescript and/or Python.
• Good cryptography primitives knowledge. Bonus
• Participation on core Ethereum development, including but not limited to contribution to EIPs.
• Production experience developing a DeFi protocol. - Knowledge of Ethereum nodes implementation like Geth.
• Solid understanding/experience with non-EVM blockchains or paradigms (e.g. Polkadot, Solana).
• Formal education in Economics.