Research Engineer Contributing to the Mopsaz S

Inria; Villeneuve-d'Ascq; Híbrido; EUR 42.000 - 58.000; Jornada completa

Ventajas ofrecidas por este puesto de trabajo

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

Descripción de la vacante

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.

Formación

• 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.

Responsabilidades

• 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é.

Conocimientos

Static Analysis

OCaml

Research interest

GitLab CI/CD / Docker

Herramientas

GitLab CI/CD

Docker

Descripción del empleo

Research Engineer Contributing to the Mopsaz S

Created in 2008, the Inria center at the University of Lille employs 360 people, including 305 scientists in 16 research teams. Recognized for its strong involvement in the socio-economic development of the Hauts-De-France region, the Inria center at the University of Lille maintains a close relationship with large companies and SMEs. By fostering synergies between researchers and industry, Inria contributes to the transfer of skills and expertise in the field of digital technologies, and provides access to the best of European and international research for the benefit of innovation and businesses, particularly in the region.

For over 10 years, the Inria center at the University of Lille has been at the heart of Lille's university and scientific ecosystem, as well as at the heart of Frenchtech, with a technology showroom based on avenue de Bretagne in Lille, on the EuraTechnologies site of economic excellence dedicated to information and communication technologies (ICT).

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 through ANR JCJC RAISIN .

Mopsa is jointly developped at Inria Lille and at LIP6, Sorbonne Université

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, ...)
• 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é)

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:

• Presenting technical works to different audiences

Experiences/contributions underlining these skills is a plus.

Avantages

• Partial reimbursement of public transport costs
• Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
• Possibility of teleworking (after 6 months of employment) and flexible organization of working hours
• Professional equipment available (videoconferencing, loan of computer equipment, etc.)
• Social, cultural and sports events and activities