Ingeniero de Compilador Solidity

Sobre esta oportunidad

CertiK, líder mundial en seguridad blockchain, busca a un Ingeniero de Compilador Solidity para impulsar la infraestructura de compilación y las herramientas de verificación formal. En esta posición, trabajarás en el corazón de la cadena de producción de Solidity, diseñando y mejorando componentes que transforman código en contratos seguros y eficientes.

Perfil buscado

Necesitamos a alguien con sólida experiencia en desarrollo de compiladores, especialmente en lenguajes basados en la EVM. Deberás dominar Java, comprender profundamente los principios de teoría de compiladores y tener experiencia práctica con métodos formales como SMT solvers y theorem provers. La capacidad de colaborar con investigadores de seguridad y de contribuir a la evolución de Solidity es esencial.

Requisitos clave

• Más de 3 años de experiencia profesional en compiladores Solidity o proyectos similares.
• Dominio avanzado de Java y optimización de compiladores.
• Fuerte base en teoría de compiladores: análisis léxico, parsing, generación de AST y análisis semántico.
• Experiencia con herramientas de verificación formal (SMT, 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

• Salario competitivo: $140,000 - $220,000 USD anuales.
• Seguro médico, dental y de visión.
• Plan 401(k) con aporte de la empresa.
• Seguro de vida y accidental.
• Plan HSA y FSA.
• Vacaciones pagadas flexibles y días festivos.
• Ambiente de trabajo remoto con cultura orientada a la misión.
• Oportunidad de trabajar con investigadores de seguridad de primer nivel y con instituciones globales.

¿Por qué considerar esta empresa?

CertiK es reconocida por proteger más de $597 mil millones en activos digitales y por su cartera de clientes que incluye Aave, Polygon y Yearn. Su ecosistema de inversión, con firmas como Sequoia y SoftBank, respalda un crecimiento sólido y oportunidades de aprendizaje continuo.

Rango salarial

$140,000 - $220,000 USD anuales, según experiencia y habilidades.

¿Te interesa? Aplica directamente desde el enlace de la vacante.