Puesto: Desarrollador experto

Experiencia previa requerida:

  • Desarrollo de software en varios lenguajes (al menos C/C++/Java)
  • 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)
  • Blockchain (Ethereum/Hyperledger) y algoritmos de consenso

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

Contacto: enviar CV a [email protected].