The candidate will contribute to the PyRAT formal analyzer, developped in the lab. This state-of-the-art analyzer is both used as a research sandbox and as an industrial-grade tool. As such, the candidate will work at the boundary of academia and industry.
The candidate missions are the following:

- actively build, update and deliver a state of the art on formal verification, in particular formal verification of machine learning and formal explanations
- contribute to scientific and technical discussions on PyRAT's design and implementations, and pursue said implementations
- investigate and apply the uses of PyRAT for formal explanations
- contribute to funded projects, either national or international, both by institutional and industrial actors, in particular by helping writing deliverables on such projects
- contribute to publications and/or technical reports around PyRAT
- help the dissemination of PyRAT, in particular by contributing to tutorials, courses and presentations and presenting them at scientific and industrial venues