### **Desarrollador Plutus \- Sistemas de Contratos Inteligentes en Cardano** Ubicación: Remoto \- Europa Únete a un equipo de investigadores, auditores e ingenieros principales especializados en diseñar, implementar y optimizar **sistemas seguros de contratos inteligentes** en la plataforma Cardano. Estamos buscando desarrolladores **Plutus experimentados** para traducir lógicas complejas de protocolos en cadena desde especificaciones precisas a código seguro y listo para producción en la red principal, contribuyendo así al trabajo fundamental que impulsa a todo el ecosistema. Serás responsable del ciclo completo de desarrollo de contratos inteligentes de alta garantía, incluyendo implementación, pruebas rigurosas y optimización de rendimiento. Este puesto requiere una colaboración estrecha con equipos internos de investigación, equipos externos de protocolo y equipos de ingeniería de productos para hacer realidad nuevos protocolos en cadena. **Responsabilidades:** * **Implementación:** Traducir especificaciones de protocolo y modelos formales en implementaciones Plutus seguras, escribiendo código de contratos inteligentes **Aiken y/o Plutarch de alta garantía**. * **Pruebas y Garantía:** Diseñar y ejecutar metodologías avanzadas de pruebas, incluyendo pruebas basadas en propiedades, pruebas diferenciales y pruebas basadas en invariantes. * **Modelado de Seguridad:** Participar en **modelado de amenazas** y análisis adversarial junto con auditores e investigadores. * **Optimización:** Realizar **ajustes de rendimiento** para optimizar el tamaño del script, el presupuesto de ejecución y la economía de tarifas. * **Contribución al Ecosistema:** Contribuir a bibliotecas internas, marcos reutilizables (por ejemplo, Plutus Tx, interoperabilidad Aiken), **discusiones CIP y estándares públicos** que mejoren el ecosistema Cardano. * **Colaboración:** Trabajar estrechamente con equipos de producto y equipos de ingeniería asociados, y redactar documentación técnica clara. **Requisitos** * **Programación Funcional:** Experiencia sólida en **Haskell**, con un profundo conocimiento de la programación funcional pura (FP), programación funcional tipada y **fundamentos de teoría de categorías**. * **Dominio Específico:** Experiencia con **Aiken / Plutarch** o capacidad demostrada para aprenderlos muy rápidamente. * **Conocimiento UTxO:** Familiaridad con **modelos contables basados en UTxO**. * **Pruebas y Seguridad:** Experiencia razonando sobre entornos **adversariales** y familiaridad con **pruebas basadas en propiedades** (por ejemplo, QuickCheck / Hedgehog). * **Estilo de Trabajo:** Capacidad para trabajar de forma **extremadamente asíncrona y autodirigida**, con una fuerte preferencia por la comunicación escrita. * **Zona Horaria:** Ubicación ideal dentro de la **zona horaria europea**. **Beneficios** * **Compensación:** **Tarifa por hora acorde al mercado** según habilidades y experiencia. * **Compromiso:** Compromiso a tiempo completo (40 horas por semana). * **Tiempo Libre:** **Tiempo libre remunerado generoso** (30 días de vacaciones al año para empleados del Reino Unido, cuando sea aplicable) y pago por enfermedad. * **Flexibilidad:** Flexibilidad contractual, abierto a discutir términos tanto para empleado estándar como para **contratista independiente**. * **Impacto:** Oportunidad de construir bibliotecas fundamentales e infraestructura crítica que impulsen al ecosistema Cardano en su conjunto. **Debido al alto volumen de solicitudes que anticipamos, lamentamos no poder proporcionar comentarios individuales a todos los candidatos. Si no recibes respuesta nuestra dentro de las 4 semanas posteriores a tu solicitud, por favor considera que en esta ocasión no has sido seleccionado. Apreciamos sinceramente tu interés y te deseamos lo mejor en tu búsqueda de empleo.** **Compromiso con la Igualdad y Accesibilidad:** En MLabs, estamos comprometidos a ofrecer igualdad de oportunidades a todos los candidatos. Garantizamos ausencia de discriminación, publicidad laboral accesible y provisión de información en formatos accesibles. Nuestro objetivo es fomentar un entorno de trabajo diverso e inclusivo con igualdad de oportunidades para todos. Si necesitas ajustes razonables durante cualquier parte del proceso de contratación o deseas ver el anuncio de empleo en un formato accesible, por favor infórmanos lo antes posible enviando un correo a human\-resources@mlabs.city. MLabs Ltd recopila y procesa la información personal que proporcionas, como tus datos de contacto, historial laboral, currículum y otros datos relevantes únicamente con fines de reclutamiento. Esta información se gestiona de forma segura de acuerdo con la Política de Privacidad y la Política de Seguridad de la Información de MLabs Ltd, y en cumplimiento con las leyes aplicables de protección de datos. Tus datos podrán compartirse únicamente con clientes y socios de confianza cuando sea necesario para fines de reclutamiento. Puedes solicitar la eliminación de tus datos o retirar tu consentimiento en cualquier momento contactando a legal@mlabs.city.