Consultant SI – Développeur OCaml / CATALA

Dans le cadre d'un accord-cadre d'une durée de 2 à 4 ans, nous recherchons des Consultants SI – Développeurs OCaml / CATALA confirmés pour participer au développement, à l'évolution et à la maintenance du logiciel libre CATALA et de ses outils associés.

Le consultant interviendra sur la conception et le développement d'outils d'aide à la conception fonctionnelle, de test et de débogage, ainsi que sur l'amélioration des fonctionnalités du langage et de son compilateur.

Il contribuera également à la création de connecteurs et d'interfaces permettant de répondre aux besoins fonctionnels et techniques du client.

En collaboration avec les équipes techniques et fonctionnelles, il participera à la maintenance corrective des moteurs CATALA en production, à l'amélioration de la fiabilité des traitements et à la documentation des solutions développées.

Profil recherché

Nous recherchons un Développeur logiciel confirmé, disposant idéalement de 3 à 5 ans d'expérience minimum en développement informatique, avec une bonne maîtrise du langage OCaml ou d'un langage fonctionnel équivalent.

Le candidat devra posséder des compétences en développement front-end, notamment en JavaScript et TypeScript, ainsi que des connaissances en Java et C pour intervenir sur les évolutions du compilateur.

Une expérience en programmation fonctionnelle, développement d'outils techniques, tests automatisés et intégration continue constitue un atout important.

Une connaissance du langage CATALA ou une capacité à monter rapidement en compétence sur cet environnement sera particulièrement recherchée.