Ingeniero Frontend del Compilador Solidity

Acerca de la empresa CertiK, una de las empresas de seguridad blockchain más confiables y de más rápido crecimiento, es un verdadero líder del mercado. Hasta la fecha, CertiK ha trabajado con más de 4798 clientes, ha asegurado más de 597 mil millones de dólares en activos digitales y ha monitoreado más de 17 000 proyectos. Nuestros clientes incluyen proyectos líderes como Aave, Polygon, Yearn y Chiliz.
Inversores = Insight Partners, Sequoia, Tiger Global, Coatue Management, Lightspeed, Advent International, SoftBank, Hillhouse Capital, Goldman Sachs, Shunwei Capital, IDG Capital, Wing, Legend Star, Danhua Capital y otros inversores.
Acerca del puesto Buscamos un ingeniero frontend de compilador de Solidity con experiencia para unirse a nuestro equipo que trabaja en infraestructura de compilador de blockchain de vanguardia y herramientas de verificación formal. Participará en el desarrollo y optimización de los componentes frontend de los canales de compilación de Solidity, con un enfoque en el análisis estático, la verificación de tipos y la integración con sistemas de verificación formales.

Responsabilidades

• Diseñar e implementar componentes frontend para el compilador Solidity, incluido análisis léxico, análisis sintáctico, generación de AST y análisis semántico.

• Optimice el rendimiento del compilador y mejore los informes y diagnósticos de errores.

• Desarrollar capas de integración entre el compilador Solidity y las herramientas de verificación formal.

• Contribuir a la evolución de las características y especificaciones del lenguaje Solidity.

• Colaborar con investigadores de seguridad para implementar análisis estáticos y controles de seguridad.

• Mantener y mejorar la infraestructura y las herramientas del compilador existente.
Requisitos

• Más de 3 años de experiencia profesional en el desarrollo de compiladores Solidity o proyectos de compiladores relacionados (por ejemplo, lenguajes basados en EVM, compiladores de contratos inteligentes)

• Fuerte dominio de Java con profundo conocimiento del desarrollo y optimización de compiladores basados en Java.

• Base sólida en la teoría de compiladores, incluidas técnicas de análisis, sistemas de tipos y representaciones intermedias.

• Experiencia con métodos formales o herramientas de verificación formales (por ejemplo, solucionadores SMT, demostradores de teoremas o marcos de verificación)

• Gran conocimiento de la máquina virtual Ethereum (EVM) y los modelos de ejecución de contratos inteligentes.

• Excelentes habilidades para resolver problemas y atención al detalle.
Calificaciones preferidas

• Experiencia con LLVM o infraestructura de compilador similar.

• Conocimientos 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.
Lo que ofrecemos

• Oportunidad de dar forma a la conversación nacional sobre blockchain y seguridad.

• Colaborar con investigadores de seguridad, tecnólogos e instituciones globales líderes en la industria.

• Ambiente de trabajo flexible y cultura impulsada por la misión.
Compensación: si el puesto se desempeña en los EE. UU., la compensación anual objetivo es de $140 000 a $220 000. La compensación exacta con la que se cubre este puesto estará determinada por las habilidades y experiencia de los candidatos calificados.
#blockchain#startups#contratación
CertiK acepta solicitudes para este puesto de forma continua.
CertiK se enorgullece de ofrecer seguro médico, oftalmológico y dental, plan 401(k) con contrapartida de la empresa, seguro de vida y por muerte accidental y desmembramiento, HSA (con plan de deducible alto), FSA y otros beneficios para todos los empleados de tiempo completo, junto con tiempo libre remunerado flexible y días festivos. CertiK también ofrece un programa de comisión variable para puestos de ventas de desarrollo empresarial.
De conformidad con la ley federal, todas las personas contratadas deberán verificar su identidad y elegibilidad para trabajar en los Estados Unidos y completar el formulario de verificación de elegibilidad laboral requerido al momento de la contratación.
CertiK se enorgullece de ser un empleador que ofrece igualdad de oportunidades. No discriminaremos a ningún solicitante o empleado por motivos de edad, raza, color, credo, religión, sexo, orientación sexual, género, identidad o expresión de género, condición médica, origen nacional, ascendencia, ciudadanía, estado civil o estado civil/sindicato, discapacidad física o mental, embarazo, parto, información genética, condición militar y de veterano, o cualquier otra base prohibida por la ley federal, estatal o local aplicable.
CertiK considerará para empleo a solicitantes calificados con antecedentes penales de manera consistente con los requisitos locales y federales. https://www.eeoc.gov/sites/default/files/migrate_files/employers/poster_screen_reader_optimized.pdf
Se espera que todos los empleados de CertiK apoyen activamente la diversidad en sus equipos y en la Compañía.

Fuente: Jobicy (https://jobicy.com/jobs/142139-solidity-compiler-frontend-engineer)