Disc besançon : enseignant-chercheur en informatique

Le DISC recrute un Maître de Conférences (MCF) en Informatique à l'UFR-ST sur Besançon au département Informatique (Enseignement: Licence&Master Informatique / Recherche : Systèmes distribués ou fiabilité logicielle).

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

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), ou des systèmes distribués 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 DEODIS ou l'équipe VESONTIO 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 :

- Algorithmes, programmation et optimisation dans le contexte des systèmes distribués, collaboratifs et parallèles,
- Intelligence artificielle distribuée avec l’intégration d’outils pour améliorer les procédures de décision ou les systèmes multi-agents
- Anonymisation de données pour garantir la sécurité et la vie privée
- 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 ;