Trabajo que realizarás:

• Participe en todos los procesos relacionados con la seguridad que desarrollen protocolos Ethereum (por ejemplo, DeFi, NFT).
• Ejecutar auditorías internas de los sistemas de contratos inteligentes.
• Integre herramientas de verificación sistemáticamente formales en bases de código de contratos inteligentes.
• Investiga / sigue los últimos desarrollos de blockchain para presentarlos al resto del equipo.
• Colaboré con desarrolladores senior de blockchain durante la fase de creación de sistemas descentralizados.

Requisitos:

• Más de 5 años de experiencia en seguridad de software.
• Más de 3 años de experiencia con contratos inteligentes de Ethereum.
• Educación formal en Ciencias de la Computación o Matemáticas.
• Conocimiento y experiencia de alto nivel con idiomas que se ejecutan en EVM: Solidity, Vyper, Yul.
• Experiencia en auditoría (interna / externa) de sistemas DeFi, tanto desde el punto de vista técnico como económico.
• Experiencia práctica con herramientas de verificación formales.
• Capacidad para escribir informes de seguridad de alta calidad, privados y públicos.
• Interés en la investigación de Ethereum y el avance de vanguardia en el ecosistema.
• Conocimiento y dominio sólidos de Javascript / TypeScript y / o Python.
• Participación en el desarrollo central de Ethereum, que incluye, entre otros, la contribución a los EIP.
• Experiencia en producción desarrollando un protocolo DeFi. 
• Conocimiento de la implementación de nodos Ethereum como Geth.
• Conocimiento / experiencia sólida con cadenas de bloques o paradigmas que no son de EVM (por ejemplo, Polkadot, Solana).
• Educación formal en Economía.