Ingénieur / Ingénieure de recherche en développement logiciel (H/F)
ST MARTIN D HERES, 38
il y a 10 jours
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é.
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é.
Entreprise
UNIVERSITE GRENOBLE ALPES
Ancrée sur son territoire, pluridisciplinaire et ouverte sur l'international, l'Université Grenoble Alpes rassemble, depuis le 1er janvier 2020, les forces de l'enseignement supérieur public de Grenoble et Valence.
En association avec les organismes nationaux de recherche et les grands instruments internationaux présents sur son territoire, elle construit sa politique de recherche et d'innovation à l'échelle mondiale.
Plateforme de publication
Offres pouvant vous intéresser
SAINTE-CÉCILE, 85
il y a 3 mois
Automaticien(ne) (H/F)
32 000,00 € - 42 000,00 € / mois
LYON 09, 69
il y a 2 jours
SAINT-OUEN-L'AUMÔNE, 95
il y a 13 jours
PARIS, 75
il y a 13 jours