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.

Profil candidat:

Nous recherchons un développeur expert ou ingénieur logiciel senior, disposant idéalement de 8 ans ou plus d'expérience en développement informatique, avec une maîtrise confirmée du langage OCaml et une expérience de développement en CATALA.

Le candidat devra posséder une solide connaissance des compilateurs, des langages de programmation et des problématiques d'optimisation logicielle.

Une expérience dans les projets open source, l'analyse de code et la formation technique constitue un avantage important.