Puesto: Desarrollador experto

Experiencia previa requerida:

• Desarrollo de software en varios lenguajes (al menos C/C++/Java/Go)
• Diseño, implementación y optimización de algoritmos criptográficos/protocolos y software seguro

Experiencia deseada:

• Computación criptográficamente segura (MPC)
• Demostración formal de teoremas (Coq)
• Desarrollo de la capa 1 de blockchains en Go

Disponible la opción de trabajo remoto para una mejor conciliación de la vida laboral y familiar.

Contacto: enviar CV a [email protected].