Research Engineer Contributing to the Mopsaz S
Inria · Villeneuve d'Ascq
Research instituteonsiteRemuneration according to profile
At a glance
Highlights
- Strengthen and extend open-source Mopsa static analysis platform.
- Drive research projects under ANR RAISIN with Inria and LIP6 teams.
- Make static analysis accessible via tutorials and new interfaces.
Ideal candidate
Curious researcher-engineer passionate about program analysis and open science who enjoys building research tools, mentoring newcomers, and collaborating across academic teams.
Requirements
- Background in static analysis and/or abstract interpretation
- Experience in OCaml programming
- Curiosity and interest for program analysis and the research process
- Knowledge of GitLab CI/CD processes and Docker containers
Lab profile
About Inria
French national research institute advancing digital sciences, computing, AI and applied mathematics.
What they build
- Digital sciences and computing research
- Artificial intelligence for microscopy and video analysis
- Quantum information theory
Known for
- Joint teams with Paris-Saclay University and Institut Polytechnique de Paris
- Embedded in Paris-Saclay science and technology cluster
- Rich R&D ecosystem with startups, industry and clusters
- International collaborations and multinational scientific staff
Key facts
- Founded in 1967
- Headquartered in France
- Nine research centres across France
Posted · Last seen