Post-Doc

2022-2023

Dorra BenKhalifa

Prise de poste : 01 novembre 2022 (durée de 14 mois)
Titre : Post-doc/ chercheur en génie logiciel
Programme : Projet RAHW en collaboration avec les entreprises Numalis et Secapem
Domaine : Informatique
Mots clés : Arithmétique des ordinateurs, analyse statique par interprétation abstraite, systèmes de contraintes (SMT, solveurs linéaires), compilation
 

2018-2019

Ilknur Yesilce

Prise de poste : 27 août 2018 (durée de 12 mois)
Titre : Post-doc/ chercheur
Programme : TUBITAK (Turkish Council for Scientific and Technological Research)
Domaine : Mathématiques Appliquées et Analyse
Mots clés : Mathematical analysis, functional analysis, mathematical modelling, nonlinear analysis, optimization, numerical analysis, analysis, applied mathematics, real analysis, integration