Consultant SI – Règles métier CATALA

Dans le cadre d'un accord-cadre d'une durée de 2 à 4 ans, nous recherchons un Consultant SI – Développeur OCaml / CATALA confirmé pour intervenir sur un projet informatique spécialisé dans le développement, l'évolution et la maintenance du logiciel libre CATALA et de son environnement technique.

Le consultant jouera un rôle essentiel dans la conception, le développement et l'amélioration des outils associés au langage CATALA. Il participera notamment à la création d'outils d'aide à la conception fonctionnelle, permettant de faciliter la rédaction, la gestion et l'exploitation des spécifications techniques et fonctionnelles.

Il sera également chargé de contribuer au développement d'outils de test et de débogage destinés à faciliter la vérification, l'analyse et la correction des programmes CATALA. Ces outils devront répondre aux besoins des équipes de développement, mais également être accessibles à des utilisateurs métiers ne disposant pas nécessairement de compétences informatiques approfondies.

Le poste comporte une dimension importante de développement logiciel et de programmation fonctionnelle, principalement autour d'OCaml et de CATALA, mais également de JavaScript et TypeScript pour la conception des interfaces utilisateurs. Des connaissances en Java et C seront mobilisées pour contribuer aux améliorations et corrections du compilateur.

Le consultant participera par ailleurs au développement de nouvelles fonctionnalités, de connecteurs et d'adaptateurs permettant de faire évoluer les solutions existantes et de répondre aux nouveaux besoins du client. Il contribuera à l'amélioration des performances, de la fiabilité et de la qualité des traitements réalisés par les outils CATALA.

Une partie de son activité sera consacrée à la maintenance corrective des moteurs CATALA en production. Il devra analyser les incidents, identifier les dysfonctionnements, proposer les corrections nécessaires et participer à leur mise en œuvre, dans le respect des exigences de qualité, de sécurité et des délais contractuels.

Il interviendra en collaboration avec les experts techniques OCaml / CATALA, les développeurs et les équipes fonctionnelles du client afin d'assurer la cohérence des développements et la bonne prise en compte des besoins métiers.

Enfin, il sera responsable de la production et de la mise à jour des livrables techniques associés à ses interventions, notamment le code source documenté, les rapports de tests et les documentations d'installation, de mise en œuvre et d'utilisation.

Profil recherché

Développeur confirmé disposant idéalement de 3 à 5 ans d'expérience ou plus en développement informatique, avec des compétences en OCaml ou dans un langage fonctionnel équivalent (Haskell, Scala, F#).

Des connaissances en Java, C, JavaScript, TypeScript, Git et GitHub sont attendues.

Une expérience dans le développement de compilateurs, les outils de test, le débogage et l'intégration continue constitue un atout.