Share this job
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.
Candidate profile
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.
Working environment
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.
Apply to this job!
Find your next career move from +10,000 jobs!
Manage your visibility
Salary, remote work... Define all the criteria that are important to you.
Get discovered
Recruiters come directly to look for their future hires in our CV library.
Join a community
Connect with like-minded tech and IT professionals on a daily basis through our forum.
Expert technique OCaml / compilateur CATALA
TEKTEO