Ingeniero de Investigación en Bitcoin y Rust para el Desarrollo de Contratos Inteligentes Avanzados en la Blockchain de Liquid con Simfony y Simplicity

En Blockstream Research estamos trabajando para hacer que los contratos inteligentes de Bitcoin sean más potentes, expresivos y verificables. Simfony es la interfaz de Simplicity, una alternativa de última generación a Bitcoin Script que permite una lógica de contratos avanzada, manteniendo la seguridad y la eficiencia. Actualmente, estamos buscando un ingeniero de investigación con amplia experiencia en Bitcoin y Rust para desarrollar e implementar Simfony en la blockchain de Liquid.

Responsabilidades:

• Dominar el desarrollo del lenguaje de Simfony basado en Rust. Se trabajará en la creación, mejora y refinamiento de Simfony como lenguaje de contratos inteligentes.
• Implementar contratos inteligentes. Se recreará la funcionalidad existente de Bitcoin Script en Simfony y se ampliará con Simplicity, lo que hará que los contratos sean más expresivos y potentes.
  
• Colaborar con un pequeño equipo dentro de Blockstream Research para ayudar a dar forma al uso de Simplicity por parte de los desarrolladores y su integración en las cadenas laterales de Bitcoin.
  
• Desarrollar, probar e implementar contratos de Simfony en Liquid. Se explorará cómo Simfony se integra con las soluciones de Capa 2 de Bitcoin, incluyendo Elements y posibles plataformas futuras.
  
• Trabajar en la seguridad y la eficiencia. Se ayudará a optimizar los contratos de Simfony para mejorar el rendimiento y la seguridad.
  
• Redactar documentación y material educativo. A medida que Simfony crece, los desarrolladores necesitarán ejemplos claros, tutoriales y buenas prácticas para desarrollar con confianza.
  

Requisitos:

• Experiencia en Rust.
  
• Conocimiento del modelo de scripting de Bitcoin. Se tiene un sólido conocimiento de Bitcoin Script, Taproot, firmas Schnorr, SegWit, Miniscript y Transacciones Confidenciales.
  
• Experiencia en el desarrollo de contratos inteligentes, contratos bloqueados en el tiempo (HTLC, bóvedas, transferencias basadas en herencia), configuraciones de múltiples firmas o mecanismos basados en pactos.
  
• Comodidad trabajando con las herramientas de desarrollo de Bitcoin. Experiencia con Bitcoin Core, herramientas CLI, entornos de prueba (Testnet, Regtest) y herramientas de seguridad como pruebas fuzz.
  
• Habilidad para solucionar problemas. Se disfruta abordando retos de programación complejos y diseñando soluciones creativas para problemas complejos.
  
• Mentalidad de constructor. No solo se escribe código, sino que se diseñan sistemas que resuelven problemas reales.
  
• Comunicación clara. Se puede explicar ideas técnicas complejas con sencillez, redactar documentación exhaustiva y trabajar bien en equipo.
  
• Comodidad con el componente educativo. Este puesto implica documentación, docencia y apoyo a desarrolladores, ayudando a otros a comprender y desarrollar con Simfony.
  

Cualificaciones deseables:

• Título en un campo relevante, como Ciencias de la Computación, Ingeniería de Software o un campo relacionado.
  
• Conocimientos sólidos de WebAssembly (WASM). Se valorará la experiencia con entornos de ejecución de bajo nivel o máquinas virtuales blockchain.
  
• Familiaridad con otros ecosistemas blockchain y plataformas de contratos inteligentes. Se tiene conocimiento de Ethereum (Solidity), Web3, DeFi, DAO, puentes y oráculos, y se comprenden los casos de uso que buscan los usuarios.
  
• Experiencia en el uso e implementación de contratos inteligentes de nivel de producción. Se han visto los desafíos, los riesgos de MEV, los ataques DoS y los errores de sintaxis.
  
• Experiencia en Haskell u otros lenguajes funcionales es una ventaja.
  
• Conocimiento de paradigmas alternativos de contratos inteligentes. Se valorará la familiaridad con pruebas ZK, rollups o nuevos modelos de ejecución.
  
• Familiarización con bibliotecas criptográficas de bajo nivel.

Valorables:

• Experiencia previa (más de un año) como líder técnico.
  
• Conocimiento en CQRS.
  
• Familiaridad con herramientas como Docker, RabbitMQ y Redis.