Partager cette offre
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 recherché
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.
Environnement de travail
Le consultant interviendra dans un environnement technique spécialisé dans le développement de logiciels libres, la programmation fonctionnelle et l'évolution du langage CATALA.
Postulez à cette offre !
Trouvez votre prochaine mission parmi +10 000 offres !
Fixez vos conditions
Rémunération, télétravail... Définissez tous les critères importants pour vous.
Faites-vous chasser
Les recruteurs viennent directement chercher leurs futurs talents dans notre CVthèque.
100% gratuit
Aucune commission prélevée sur votre mission freelance.
Expert technique OCaml / compilateur CATALA
TEKTEO