Disc besançon : professeur d'université (pu) en informatique

Le DISC recrute un professeur d'université en Informatique (section 27) à l'UFR-ST sur Besançon au département Informatique (Enseignement: Licence&Master Informatique / Recherche : Fiabilité logicielle ou Systèmes distribués).

Numéro national du poste : 0679 - Composante : UFR Sciences et Techniques - Collegium : SF SPI

Le candidat retenu rejoindra l'équipe DEODIS ou VESONTIO du DISC pour travailler sur l'alogrithmique et la prorammation des systèmes distribués (DEODIS) ou sur la fiabilité des logiciels (VESONTIO).

Enseignement : Le candidat sera amené à intervenir à différents niveaux et à prendre en charge l'encadrement d’apprentis, de stagiaires (en distanciel ou en présentiel) et de projets. Le projet d’enseignement sera adapté en fonction des compétences apportées par le candidat même s’il est d’usage aussi d’attendre de sa part un investissement dans les unités d’enseignement « classiques » de la Licence et du Master Informatique. Au regard des départs récents, des compétences dans l’enseignement et/ou la pratique du génie logiciel (test, méthodes agiles, modélisation) seront fortement appréciées. Il est recommandé aux candidats de contacter le directeur du département d’enseignement.

Recherche : Le ou la candidate devra proposer une intégration recherche dans l'équipe VESONTIO ou l'équipe DEODIS du DISC (Département d'Informatique et Systèmes Complexes) de l’Institut FEMTO-ST (UMR CNRS 6174). Le projet de
recherche devra se placer dans le contexte applicatif des systèmes distribués intelligents (au sens large) avec des liens avec les thématiques développées dans l'une des deux équipes, notamment :
- Test pour la fiabilité des systèmes, avec par exemple une application aux systèmes cyber-physiques ou à la sécurité ;
- Méthodes de modélisation, de vérification (preuve ou model-checking), avec par exemple des aspects quantitatifs, temporisés ou de prise en compte des incertitudes pour une application aux systèmes intelligents ;
- Algorithmes, programmation et optimisation dans le contexte des systèmes distribués et parallèles, éventuellement avec des applications aux systèmes intelligents, collaboratifs ou à l'intelligence artificielle ;