Maître-sse de Conférences en section 61 « Modélisation et simulation pour la conception et la vérification de systèmes complexes »