Formal Explanations for Artificial Intelligence

Job description: 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 PyRATapos;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

Your profile: Doctorat en informatique