Research Engineer - Static Analysis (OCaml) | Flexible

Inria; Villeneuve-d'Ascq; Hybrid; EUR 42,000 - 58,000; Full time

Benefits offered by this job

Remboursement partiel des frais de cé

Congés annuels généreux

Télétravail possible après 6 mois

Équipement professionnel fourni

Activités sociales et sportives

Job summary

Inria Lille recherche un ingénieur de recherche dédié au projet Mopsa, plateforme d’analyse statique. Vous contribuerez à l’évolution du cadre et à l’amélioration des outils, interfaces et documentation, afin de faciliter la recherche et l’enseignement autour de l’analyse abstraite.

Le poste implique une collaboration étroite avec l’équipe Mopsa à Lille et la Sorbonne Université, avec possibilités de télétravail après six mois et une organisation du travail flexible.

Qualifications

• Solide expérience en analyse statique et/ou interprétation abstraite.
• Expérience en programmation OCaml.
• Intérêt marqué pour l’analyse de programme et le processus de recherche.
• Connaissance des processus CI/CD GitLab et des conteneurs Docker appréciée.

Responsibilities

• Participer à des projets de recherche autour de RAISIN et Mopsa.
• Rendre la plateforme plus accessible via interfaces, onboarding et documentation.
• Contribuer à la maintenance et au développement du plate-forme Mopsa.
• Accompagner les nouveaux utilisateurs et améliorer l’accessibilité.
• Interagir avec l’équipe Mopsa à Lille et Sorbonne Université.

Skills

Static Analysis

OCaml

Research interest

GitLab CI/CD / Docker

Tools

GitLab CI/CD

Docker

Job description

Inria Lille recherche un ingénieur de recherche dédié au projet Mopsa, plateforme d’analyse statique. Vous contribuerez à l’évolution du cadre et à l’amélioration des outils, interfaces et documentation, afin de faciliter la recherche et l’enseignement autour de l’analyse abstraite.

Le poste implique une collaboration étroite avec l’équipe Mopsa à Lille et la Sorbonne Université, avec possibilités de télétravail après six mois et une organisation du travail flexible.