Research Engineer Contributing to the Mopsaz S

Inria Villeneuve d'Ascq; Villeneuve-d'Ascq; Presencial; EUR 42.000 - 55.000; Jornada completa

Descripción de la vacante

Inria Villeneuve d'Ascq is seeking a research engineer to strengthen and extend the Mopsa static analysis platform. You will contribute to software development for research and maintenance, and help newcomers use Mopsa.

Join the Mopsa team, collaborating with Inria Lille and LIP6, Sorbonne Université, to advance static analysis through the ANR RAISIN project and related initiatives.

Formación

• Background in static analysis and/or abstract interpretation.
• Experience in OCaml programming.
• Interest in program analysis and the research process.
• Knowledge of GitLab CI/CD and Docker containers is a plus.

Responsabilidades

• Contribute to the Mopsa platform development for research and maintenance.
• Assist in making Mopsa more accessible, including onboarding material and tutorials.
• Participate in relevant research projects related to static analysis with Mopsa.
• Collaborate with the Mopsa team across Inria Lille and LIP6, Sorbonne Université.

Conocimientos

Static analysis

OCaml

Research mindset

Program analysis interest

Herramientas

GitLab CI/CD

Docker

Descripción del empleo

Context

Mopsa is a research-oriented platform for sound static analysis development. Its goal is to encourage and drive research and education in abstract itnerpretation through an open-source platform. This job is funded throughANR JCJC RAISIN.Mopsa is jointly developped at Inria Lille and at LIP6, Sorbonne Université

Assignment

The goal of this research engineer position is to strengthen and extend Mopsa. Depending on the candidate's interest, the following tasks can be envisioned:

• Participate to research projects revolving around ANR RAISIN and Mopsa, through conceptual and software-based contributions
• Make the platform more accessible, through new interfaces, additional onboarding material, creation of tutorials, extension of documentation
• Contribute to the maintenance of the Mopsa static analysis platform (issues, CI, handling merge requests, ...)

Main activities

• Contribute to the software development of the Mopsa static analysis platform (both for research purposes and maintenance)
• Help newcomers use Mopsa and make it more accessible
• Participate to relevant research projects revolving around static analysis with Mopsa (e.g. AnalyzeThat event)
• Interaction with the rest of the Mopsa team (both Inria Lille and LIP6, Sorbonne Université)

Skills

Technical skills and level required:

• Background in static analysis and/or abstract interpretation
• Experience in OCaml programming
• Curiosity and interest for program analysis and of the research process
• Knowledge of Gitlab's CI/CD processes and docker containers are welcome
• Languages: French and/or English

Relational skills:

• Team work
• Presenting technical works to different audiences
• Experiences/contributions underlining these skills is a plus.