consultant informatique SI – Développeur OCaml / CATALA (IT)

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 à…