Ingeniero Frontend de Compilador Solidity

Sobre esta oportunidad

CertiK es una de las empresas de más rápido crecimiento y más confiables en seguridad blockchain. Con más de 4,798 clientes atendidos, 597 mil millones de dólares en activos digitales asegurados y 17,000 proyectos monitoreados, CertiK es referente en la industria. Trabajamos con proyectos líderes como Aave, Polygon, Yearn y Chiliz.

Buscamos un Ingeniero Frontend de Compilador Solidity experimentado para unirse a nuestro equipo y trabajar en infraestructura de compiladores blockchain de última generación y herramientas de verificación formal. Serás parte del desarrollo y optimización de componentes frontend en pipelines de compilación Solidity, enfocándose en análisis estático, verificación de tipos e integración con sistemas de verificación formal.

Perfil buscado

Buscamos un profesional con experiencia sólida en desarrollo de compiladores, especialmente en el ecosistema blockchain. Idealmente, alguien que haya trabajado con compiladores basados en EVM o lenguajes de smart contracts. Necesitamos a alguien que entienda profundamente cómo funcionan los compiladores desde adentro, que sea capaz de diseñar e implementar componentes complejos, y que tenga una mentalidad colaborativa para trabajar con investigadores de seguridad y equipos globales.

Requisitos clave

• 3 o más años de experiencia profesional en desarrollo de compiladores Solidity o proyectos relacionados (lenguajes basados en EVM, compiladores de smart contracts)
• Dominio avanzado de Java con profundo conocimiento en desarrollo y optimización de compiladores basados en Java
• Base sólida en teoría de compiladores: técnicas de parsing, sistemas de tipos y representaciones intermedias
• Experiencia con métodos formales o herramientas de verificación formal (solucionadores SMT, demostradores de teoremas, frameworks de verificación)
• Comprensión profunda de la Máquina Virtual de Ethereum (EVM) y modelos de ejecución de smart contracts
• Excelentes habilidades para resolver problemas y atención al detalle

Responsabilidades principales

• Diseñar e implementar componentes frontend para el compilador Solidity: análisis léxico, parsing, generación de AST y análisis semántico
• Optimizar el rendimiento del compilador y mejorar reportes de errores y diagnósticos
• Desarrollar capas de integración entre el compilador Solidity y herramientas de verificación formal
• Contribuir a la evolución de las características del lenguaje Solidity y su especificación
• Colaborar con investigadores de seguridad para implementar análisis estático y verificaciones de seguridad
• Mantener y mejorar la infraestructura de compiladores y herramientas existentes

Beneficios de la posición

• Oportunidad de formar parte de la conversación global sobre blockchain y seguridad
• Colaboración con investigadores de seguridad líderes en la industria, tecnólogos de élite e instituciones globales
• Ambiente 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 protección accidental
• HSA (con plan de deducible alto) y FSA
• Vacaciones pagadas flexibles y días festivos
• Otros beneficios adicionales para empleados de tiempo completo

Cualificaciones preferidas

• Experiencia con LLVM o infraestructura de compiladores similar
• Conocimiento de semántica de lenguajes de programación y teoría de tipos
• Contribuciones a proyectos de compiladores de código abierto
• Experiencia con Solidity u otros lenguajes de programación blockchain

¿Por qué considerar esta empresa?

CertiK es respaldada por algunos de los inversores más prestigiosos del mundo: Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital y otros. La empresa lidera el mercado en seguridad blockchain con un track record comprobado de proteger miles de millones en activos digitales. Si buscas trabajar en problemas de impacto global, con un equipo de clase mundial y recursos para innovar, CertiK es el lugar ideal.

Rango salarial

Si la posición se realiza en Estados Unidos, la compensación anual objetivo es de $140,000 - $220,000 USD. La compensación exacta dependerá de las habilidades y experiencia del candidato seleccionado.

¿Te interesa? CertiK acepta aplicaciones para esta posición de forma continua. Aplica directamente desde el enlace de la vacante.