Site emploiBienvenue

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.

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.

• 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

• Compétences en développement de logiciels de calcul numérique et apprentissage machine en python
• Compétences en développement C++ sont appréciées
• Capacité à s'intégrer et contribuer aux travaux d'une équipe de recherche : participation aux réunions, développement de prototype logiciel de recherche
• Faire preuve d'autonomie
• Sens de l'organisation

Une formation dans une thématique proche du domaine recherché est fortement apprécié.