Professeur en Informatique et Réseaux- POLYTECH / VERIMAG

Enseignement

Ecole : Grenoble INP – Polytech Site de l’Ecole de Grenoble : https://polytech.grenoble-inp.fr/ Contact : Pr. Céline Darie, Directrice, celine.darie@univ-grenoble-alpes.fr Présentation de l’école : Polytech Grenoble est une école d’ingénieurs de Grenoble INP, l’institut d’ingénierie et de gestion de l’Université Grenoble Alpes*. Membre du réseau Polytech, c’est une école publique accréditée par la Commission des titres d’ingénieur. Le programme en 5 ans (bac à bac + 5), qui comprend un tronc commun commun à toutes les spécialités, est conçu pour apporter aux étudiants des connaissances et des compétences scientifiques, générales et techniques liées aux métiers couverts par les différents diplômes proposés. Profil d’enseignement : Polytech Grenoble et ses spécialisations en Informatique, Informatique et Electronique pour les Systèmes Embarqués et Informatique pour la Santé couvrent un large spectre de domaines de l’informatique, des fondamentaux théoriques aux applications actuelles (DevOps, IoT, IA, Cybersécurité, interactions humaines). , etc.). La personne recrutée participera au renforcement des enseignements fondamentaux au niveau du premier cycle dans une ou plusieurs spécialités. Dans la spécialisation Informatique et au niveau Master, la préférence sera donnée au renforcement des matières liées aux réseaux informatiques ou à des domaines connexes (systèmes, architectures matérielles et logicielles, sécurité). Certains cours peuvent être dispensés en anglais, et la personne recrutée doit être capable d’enseigner en anglais ou, le cas échéant, suivre une formation complémentaire pour se mettre à niveau.

Recherche

Laboratoire : Site du Laboratoire VERIMAG : https://www-verimag.imag.fr/?lang=fr Contacts : M. David MONNIAUX, Directeur, david.monniaux@univ-grenoble-alpes.fr Présentation du laboratoire : Le laboratoire Verimag développe la recherche fondamentale et appliquée pour la conception de systèmes informatisés sûrs et sécurisés : sécurité de bas niveau des logiciels contre les attaques logicielles et matérielles ; systèmes modulaires, hybrides et composants ; mise en œuvre et conception avec des contraintes sur les ressources matérielles partagées ; systèmes informatiques frugaux et résilients, responsabilité socio-environnementale ; fondements de l’ingénierie des systèmes autonomes basés sur l’apprentissage automatique ; preuves formelles. Profil de recherche : Les systèmes cyber-physiques sont de plus en plus autonomes, connectés et adaptables, les rendant de plus en plus vulnérables aux environnements défaillants ou hostiles. Les techniques de programmation conventionnelles ont leurs faiblesses, qu’il faut surmonter. L’inclusion de composants basés sur l’intelligence artificielle (machine learning) leur offre de nouvelles possibilités, mais introduit de nouvelles vulnérabilités et implique de repenser la notion de spécification. D’un autre côté, l’intelligence artificielle peut être exploitée pour améliorer la synthèse, la vérification et la recherche de bugs des programmes. La preuve formelle (sous diverses formes : preuve assistée, model-checking, interprétation abstraite, etc.) est désormais utilisée pour construire des systèmes particulièrement critiques (compilation formellement vérifiée en avionique et nucléaire par exemple). Des méthodes semi-formelles ont été déployées par de grands acteurs industriels (Microsoft, Facebook…). Des recherches sont encore nécessaires pour rendre ces méthodes plus précises, plus évolutives et plus légères, afin d’étendre leurs champs d’application.
Le numérique, et notamment la construction d’appareils, est consommateur de ressources, notamment d’énergies fossiles ; il est donc important de promouvoir la résilience, la frugalité et l’adaptabilité, plutôt que le caractère jetable. Les recherches de Verimag sont conçues pour répondre à ces défis. La personne recrutée doit avoir acquis un haut niveau d’expertise scientifique et être capable d’entreprendre des projets de recherche d’envergure et de développer des réseaux et des collaborations nationales et internationales. Les thématiques suivantes font partie des grands programmes nationaux et/ou sites : 1. Informatique frugale et résiliente ; responsabilité socio-environnementale. 2. Sécurité à l’interface entre logiciel et matériel (voir stratégie nationale d’accélération), systèmes d’exploitation bas niveau, compilation. 3. Systèmes d’apprentissage automatique : spécification, validation, suivi. Le candidat retenu rejoindra le laboratoire Verimag, et son activité de recherche devra s’inscrire dans la thématique générale du laboratoire. Le professeur universitaire recruté devra assumer des fonctions de leadership et de supervision au sein du laboratoire. Il serait notamment apprécié qu’il puisse prendre en charge le leadership de thématiques telles que la vérification de systèmes basés sur le machine learning ou la cybersécurité.