Contexte et atouts du poste

This postdoctoral position is in partnership between Inria Saclay, team DISCO, and the Department of Computer Science, University College London, within the UCL-Inria Joint Centre.

The goal of the collaboration is to develop novel methods for computing safety and stability certificates based on neural network parameterizations of Lyapunov functions. Particular attention will be given to analyzing the expressivity of these models as a function of their parameters, including the transition between smooth and non-smooth activation functions. The project will also investigate and compare the expressivity of feedforward and implicit neural networks under equivalent parameterization constraints. In addition, methodological advances will be pursued to improve the training of implicit neural networks.

International collaboration

The job position requires the applicant to spend 12 months in the Inria...