Description de l'offre
En tant qu'ingénieur cryptographique Haskell , vous aurez le défi passionnant de travailler sur la recherche et la technologie de pointe axées sur les besoins du marché. Vous travaillerez sur des projets liés à une blockchain de renom.
L'équipe d'ingénierie cryptographique se développe dans le but de mettre en production des articles académiques récents. Dans cette équipe, vous travaillerez en étroite collaboration avec les chercheurs et les ingénieurs, en étant le lien entre les deux équipes. En tant qu'ingénieur cryptographique Haskell, vous avez la responsabilité d'écrire un code de haute qualité. Pour vous soutenir, nos produits disposent d'architectes logiciels, de chefs de produit, de chefs de projet, de spécialistes des méthodes formelles et d'ingénieurs en test QA, avec lesquels vous devez communiquer de manière professionnelle, efficace et efficiente.
Responsabilités :
• Travailler avec des équipes réparties dans différents fuseaux horaires
• Travailler de manière indépendante sur des tâches de développement logiciel
• Être proactif et nécessiter un minimum de supervision ou de mentorat pour accomplir les tâches
• Examiner les spécifications produites par les architectes et les spécialistes des méthodes formelles
• Contribuer à la conception d'algorithmes
• Résoudre les problèmes, déboguer et mettre à niveau le logiciel
• Rédiger de la documentation pour le code
• Rédiger des manuels techniques pour les utilisateurs
• Comprendre des concepts cryptographiques complexes provenant d'articles académiques
• Réaliser un pont entre les idées des articles académiques et les systèmes prêts pour la production
• Réaliser un pont entre l'infrastructure cryptographique (généralement en Rust/C) et la pile Haskell/Plutus
• Mettre en œuvre des algorithmes cryptographiques sous forme de scripts Plutus
Exigences
Compétences clés :
• Excellentes compétences en mathématiques et en analyse.
• Expérience avec Haskell et/ou Plutus. Pas nécessairement dans l'industrie.
• Connaissance des concepts cryptographiques de base (fonctions de hachage, schémas de signature ou courbes elliptiques), et volonté d'apprendre la cryptographie avancée (principalement les appariements et les systèmes de preuve)
Formation / Expérience :
• Un diplôme en informatique, mathématiques ou physique est souhaitable, mais pas essentiel.
• Expérience avec Haskell/Plutus
• Expérience de l'écriture de contrats intelligents sur Cardano serait un plus
• Expérience de l'écriture de FFIs Haskell <> C serait un plus
• Une certaine expérience de la programmation système (Rust/C/C++) serait un plus
• Compétences en méthodes de développement logiciel telles que la programmation agile et le développement piloté par les tests
• Expérience dans le développement de protocoles cryptographiques serait un plus, de même que l'expérience dans la blockchain.