CertiK
29 de agosto de 2026
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.
Comparte esta vacante
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.
Rango salarial
$140,000 - $220,000 USD al a帽o.
驴Te interesa? Aplica directamente desde el enlace de la vacante.
Vacante originalmente detectada en Jobicy. Descripci贸n adaptada por el equipo de Vacantes Remotas.
Vacantes relacionadas
ScholarshipOwl
Ingeniero Full Stack Senior
Dise帽a y lidera aplicaciones web de alto rendimiento que conectan a estudiantes con becas, integrando AI y tecnolog铆as modernas como Laravel, Nuxt y Vue.
Turnitin, LLC
Ingeniero de Software Backend Senior
Desarrolla y mantiene servicios backend escalables en AWS Lambda para una plataforma global de educaci贸n.
ManTech
Desarrollador Junior de Integraci贸n SAP
脷nete a ManTech y lidera la integraci贸n de SAP en proyectos de defensa, trabajando remotamente y con tecnolog铆a de punta.
QAD, Inc.
Ingeniero de Software para Plataforma de Agentes IA
Desarrolla y mejora la plataforma Champion, construyendo agentes IA para manufactura y apoyando equipos de AI en QAD | Redzone, todo de forma remota.