Référence CSP: 2025-2083711 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. Rémunération : A partir de 2289€ mensuel brut et en fonction de l'expérience. Vous percevrez en plus de votre salaire un régime indemnitaire d'un montant mensuel brut de 716 €.