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.fr – https://caterinaurban.github.io) if interested!
A sharing platform for the Computer-Aided Verification community
