About the position
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.
This listing was collected from a public source and is reproduced here for
information only. Always confirm the details on the original posting before applying.
View the original posting