Expert technique OCaml / compilateur CATALA

Dans le cadre d'un accord-cadre d'une durée de 2 à 4 ans, nous recherchons des experts techniques OCaml / CATALA pour intervenir sur le développement, l'évolution, la maintenance et l'optimisation du langage CATALA et de son compilateur. Le consultant sera référent technique et participera à la conception de fonctionnalités complexes, à l'amélioration des performances du compilateur, à l'audit de code et à l'accompagnement des équipes clientes. Il contribuera également à la migration de jeux de tests existants vers CATALA et à l'animation de formations techniques.