Contexte et atouts du poste
Dans le cadre de l'ANR GUMMIS.
L’ objectif est de prendre en compte les arrondies réalisés par les ordinateurs, dans la vérification (par Model-Checking) de systèmes dynamiques linéaires
Mission confiée
Missions :
Développer des algorithmes pour la vérification partielle (invariants) ou complète de systèmes dynamiques linéaires sous arrondis.
Un sujet proche donnant plus de détails peut être trouvé ici :
Le travail sera réalisé en collaboration avec Joël Ouaknine et David Purser. Des visites à Liverpool et Sarrebruck sont donc à prévoir au cours de la thèse.
Principales activités
Principales activés :
1. Rechercher des outils mathématiques remplaçant l'algèbre linéaire habituelle pour prendre en compte les arrondis (état de l'art spécifique)
2. Développer des algorithmes théoriques
3. Rédiger des articles détaillant les résultats obtenus
4. Présenter ses travaux lors de congrés.
Activités complémentaires :
5. Implémenter un/des outils appliquant les algorithmes développés au cours de la thèse
6. Tester les outils sur des cas d'étude.
Avantages
7. Restauration subventionnée
8. Transports publics remboursés partiellement
9. Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
10. Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
11. Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
12. Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
13. Accès à la formation professionnelle
14. Sécurité sociale
Rémunération
2300 € brut/mois
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.