PostDoc at Inria / École Normale Supérieure in Paris

Two-year postdoc position available at Inria / École Normale Supérieure in Paris to work on static analysis and verification of machine learning pipelines in the scope of the Lyra (https://caterinaurban.github.io/project/lyra/) and Libra (https://caterinaurban.github.io/project/libra/) projects and in collaboration with industrial partners.

Get in touch with Caterina Urban (caterina.urban@inria.frhttps://caterinaurban.github.io) if interested!