Research Engineer Contributing to the Mopsaz S

Research Engineer Contributing to the Mopsaz S Download job offer in PDF format Contract type : Fixed-term contract 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: • Team work • Presenting technical works to different audiences Experiences/contributions underlining these skills is a plus. Benefits package • 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 Remuneration Remuneration according to profile Apply for this position Share • Facebook • Linkedin • Twitter • Email General Information • Theme/Domain : Architecture, Languages and Compilation • Town/city : Villeneuve d'Ascq • Inria Center : Centre Inria de l'Université de Lille • Starting date : 2027-01-01 • Duration of contract : 9 months • Deadline to apply : 2026-11-30 Warning : you must enter your e-mail address in order to save your application to Inria. Applications must be submitted online on the Inria website. Processing of applications sent from other channels is not guaranteed. Instruction to apply Please send your CV and cover letter 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. Contacts • Inria Team : SYCOMORES • Recruiter : Monat Raphael / raphael.monat@inria.fr About Inria 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.