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].