Présentation de la structure :
Vous travaillerez au sein du laboratoire VERIMAG (https://www-verimag.imag.fr/?lang=fr), spécialisé dans les systèmes embarqués et les méthodes formelles.
Vous serez intégré dans l'équipe FETLAS (Foundations for Engineering Trustworthy Learning-Enabled Autonomous Systems) sous la co-direction de Thao Dang, directeur de recherche CNRS, de Nicolas Basset, Maître de Conférence UGA et d'Alexandre Donzé, titulaire d'une chaire de professeur junior sur la vérification et l'explicabilité de l'intelligence artificielles.
Missions principales :
Vous aurez pour mission de contribuer au projet Det-AI financé par la région AURA, en particulier sur l'apprentissage d'automates temporisés et hybrides et le test et le monitoring des systèmes d'IA.
Dans ce but, vous participerez au développement et au support de logiciels en Python et/ou C++ et à la réalisation d'études de cas.
Activités principales :
- Développer, maintenir et optimiser un logiciel pour l'apprentissage d'automates temporisés et hybrides.
- Étendre une bibliothèque pour le monitoring de propriétés temporelles (STL).
- Étendre une bibliothèque pour l'apprentissage par renforcement avec modèles formels.
- Mettre en place l'utilisation de la plateforme de calcul GRICAD.
- Étudier des cas pour ces logiciels.
Une formation dans une thématique proche du domaine recherché est fortement apprécié.
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.