Ingeniero Frontend de Compilador Solidity

Desarrolla y optimiza el frontend del compilador Solidity usando Java, integrando herramientas de verificación formal para asegurar la calidad de los contratos inteligentes.

Remoto - Estados Unidos 🇺🇸Desarrollo de softwareTiempo completoNo Divulgado

Comparte esta vacante

WhatsApp Telegram X LinkedIn

Esta vacante es para ti si:

te apasiona la compilación de lenguajes y la seguridad en blockchain, disfrutas trabajando con Java y buscas un rol que te permita influir en la evolución de Solidity y colaborar con expertos en seguridad.

Descripción del Puesto

Sobre esta oportunidad

CertiK, una de las empresas de seguridad blockchain más confiables y de mayor crecimiento, busca un Ingeniero Frontend de Compilador Solidity para impulsar la infraestructura de compilación y las herramientas de verificación formal. En este rol, trabajarás en pipelines de compilación, mejorando el análisis estático, la detección de errores y la integración con sistemas de verificación formal.

Perfil buscado

Buscamos a alguien con sólida experiencia en desarrollo de compiladores, especialmente en lenguajes basados en EVM. El candidato ideal domina Java, entiende profundamente la teoría de compiladores y tiene experiencia con herramientas de verificación formal. Además, debe estar familiarizado con el modelo de ejecución de contratos inteligentes y con la comunidad de investigación en seguridad.

Requisitos clave

Más de 3 años de experiencia profesional en desarrollo de compiladores Solidity o proyectos relacionados.
Dominio avanzado de Java y optimización de compiladores.
Conocimientos sólidos en teoría de compiladores: análisis léxico, parsing, generación de AST y análisis semántico.
Experiencia con métodos formales o herramientas de verificación (SMT solvers, theorem provers).
Comprensión profunda de la EVM y modelos de ejecución de contratos inteligentes.
Excelentes habilidades de resolución de problemas y atención al detalle.

Beneficios de la posición

Oportunidad de influir en la conversación nacional sobre blockchain y seguridad.
Colaborar con investigadores de seguridad líderes, tecnólogos y organizaciones globales.
Entorno de trabajo flexible y cultura orientada a la misión.
Seguro médico, dental y de visión.
Plan 401(k) con aporte de la empresa.
Seguro de vida y de accidentalidad.
Plan HSA y FSA.
Tiempo libre pagado flexible y feriados.
Programa de comisión variable para roles de desarrollo de negocio.

¿Por qué considerar esta empresa?

CertiK ha protegido más de 597 mil millones de dólares en activos digitales y ha monitoreado más de 17,000 proyectos, incluyendo Aave, Polygon, Yearn y Chiliz. Con inversores de renombre como Sequoia, SoftBank y Goldman Sachs, la empresa ofrece un entorno de alto impacto y crecimiento constante.