Research Engineer Contributing to the Mopsaz S

Inria; Lille; Remote; EUR 32,000 - 48,000; Full time

Benefits offered by this job

Frais de transport partiels remboursés

7 semaines de congés + RTT

Télétravail possible après 6 mois

Job summary

Inria Lille recherche un ingénieur-chercheur pour renforcer Mopsa, la plateforme d’analyse statique, et soutenir les projets RAISIN.

Vous participerez au développement logiciel et à l’amélioration de l’accessibilité, avec collaboration entre Inria Lille et LIP6/Sorbonne Université.

Qualifications

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

Responsibilities

• Participer à des projets de recherche autour d’ANR RAISIN et Mopsa via des contributions conceptuelles et logicielles.
• Rendre la plateforme Mopsa plus accessible par des interfaces, tutoriels et documentation.
• Contribuer à la maintenance de Mopsa (issues, CI, merge requests, etc.).

Skills

Static analysis

OCaml programming

Program analysis curiosity

GitLab CI/CD & Docker

Education

Graduate degree or equivalent

Tools

Docker containers

Job description

Research Engineer Contributing to the Mopsaz S

Level of qualifications required : Graduate degree or equivalent

Fonction : Temporary scientific engineer

Level of experience : Up to 3 years

About the research centre or Inria department

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

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 through ANR 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:

• Presenting technical works to different audiences

Experiences/contributions underlining these skills is a plus.

Benefits package

• 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
• Theme/Domain :Architecture, Languages and Compilation

Defence Security :
This position is likely to be situated in a restricted area (ZRR), as defined in Decree No. 2011-1425 relating to the protection of national scientific and technical potential (PPST).Authorisation to enter an area is granted by the director of the unit, following a favourable Ministerial decision, as defined in the decree of 3 July 2012 relating to the PPST. An unfavourable Ministerial decision in respect of a position situated in a ZRR would result in the cancellation of the appointment.

Recruitment Policy :
As part of its diversity policy, all Inria positions are accessible to people with disabilities.

Inria, the French national institute for research in digital science and technology, supports the French government in national research and innovation strategies in the digital field, acting as Digital Programs Agency. Inria leads over 300 research and innovation projects with its 3,500 scientists, engineers, and support staff, in partnership with universities and the digital ecosystem (businesses, entrepreneurs, and public stakeholders). Together, we explore strategic fields such as artificial intelligence, cybersecurity, quantum computing, cloud technologies, digital transformation in healthcare, digital twins, and digital technologies for defence. We develop practical solutions such as software, tech startups, partnerships with national companies, and cutting-edge training programmes. Our goal is to drive scientific, technological, and industrial excellence to ensure France’s digital sovereignty.