Post-doctoral Researcher - Expressivité des réseaux de neurones implicites pour des certificats de stabilité et de sécurité basés sur les données

Ce poste postdoctoral s'inscrit dans le cadre d'une collaboration entre l'équipe DISCO d'Inria Saclay et le Département d'Informatique de l'University College London (UCL), au sein du Centre conjoint UCL-Inria. L'objectif principal est de développer de nouvelles méthodes pour calculer des certificats de sécurité et de stabilité en utilisant des paramétrisations de fonctions de Lyapunov basées sur des réseaux de neurones. Le projet se concentre particulièrement sur l'analyse de l'expressivité de ces modèles en fonction de leurs paramètres, notamment la transition entre les fonctions d'activation lisses et non lisses. Une comparaison entre les réseaux de neurones feedforward et implicites sera également menée sous des contraintes de paramétrisation équivalentes. Des avancées méthodologiques seront recherchées pour améliorer l'entraînement des réseaux de neurones implicites. Le poste implique une mobilité internationale avec 12 mois passés en France (Inria Saclay) et 12 mois à Londres (UCL).