Postdoctoral research position in computer science focusing on safety and stability certificates via neural networks and Lyapunov functions. Study expressivity of implicit neural networks, transitions from smooth to non-smooth activations, and data-driven control; 12 months in each country, Engli...