Research Engineer Contributing to the Mopsaz S

Contenu principal

Accessibilité

Contact

Mentions légales

Menu

Fermer

FR EN

Se connecter

Offres d'emploi Inria >

Offre n°2026-10624

Research Engineer Contributing to the Mopsaz S

Télécharger l'offre au format PDF

Le descriptif de l’offre ci-dessous est en Anglais

Type de contrat : CDD

Niveau de diplôme exigé : Bac + 5 ou équivalent

Fonction : Ingénieur scientifique contractuel

Niveau d'expérience souhaité : Jusqu'à 3 ans

A propos du centre ou de la direction fonctionnelle

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

Contexte et atouts du poste

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é

Mission confiée

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

Principales activités

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é)

Compétences

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.

Avantages

Subsidized meals

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

Access to vocational training

Social security coverage

Rémunération

Remuneration according to profile

Postuler à cette offre

Partager

Facebook

Linkedin

Twitter

Email

Informations générales

Thème/Domaine : Architecture, langages et compilation

Ville : Villeneuve d'Ascq

Centre Inria : Centre Inria de l'Université de Lille

Date de prise de fonction souhaitée : 2027-01-01

Durée de contrat : 9 mois

Date limite pour postuler : 2026-11-30

Attention: Les candidatures doivent être déposées en ligne sur le site Inria. Le traitement des candidatures adressées par d'autres canaux n'est pas garanti.

Consignes pour postuler

Please send your CV and cover letter

Sécurité défense :

Ce poste est susceptible d’être affecté dans une zone à régime restrictif (ZRR), telle que définie dans le décret n°2011-1425 relatif à la protection du potentiel scientifique et technique de la nation (PPST). L’autorisation d’accès à une zone est délivrée par le chef d’établissement, après avis ministériel favorable, tel que défini dans l’arrêté du 03 juillet 2012, relatif à la PPST. Un avis ministériel défavorable pour un poste affecté dans une ZRR aurait pour conséquence l’annulation du recrutement.

Politique de recrutement :

Dans le cadre de sa politique diversité, tous les postes Inria sont accessibles aux personnes en situation de handicap.

Contacts

Équipe Inria : SYCOMORES

Recruteur :

Monat Raphael /

A propos d'Inria

Inria, l'institut national de recherche dans les sciences et technologies du numérique, est en appui de l’État pour les stratégies nationales de recherche et d’innovation du numérique en tant qu'Agence de programmes. Inria mène plus de 300 projets de recherche et d’innovation avec ses 3500 scientifiques, ingénieurs et personnels d’appui, en partenariat avec les universités et l’écosystème numérique (entreprises, entrepreneurs, acteurs publics). Ensemble, nous explorons des domaines clés comme l'intelligence artificielle, la cybersécurité, l’informatique quantique, le Cloud, la transformation numérique de la santé, les jumeaux numériques ou encore les technologies numériques pour la défense. Nous construisons des solutions concrètes telles que des logiciels, des startups technologiques, des partenariats avec les entreprises du tissu national et des formations de pointe. Notre objectif : l’impact scientifique, technologique et industriel au service de la souveraineté numérique de la France.

Plan du site

Contact

Mentions légales

Accessibilité : totalement conforme