Profils des postes

Informatique Fondamentale (MCF 0428)

Profil recherche

Le candidat recruté effectuera ses recherches au LIF dans l'une des trois équipes représentées à l'UFR MIM (Mathématiques, Informatique, Mécanique) de l'Uuniversité de Provence: Escape (Systèmes complexes, automates et pavages), MoVe (Modélisation et Vérification) et BDAA (Bases de données et apprentissage automatique).

Profil pour l’équipe Escape: l’équipe Escape souhaite recruter un excellent candidat dans un des domaines de l’informatique théorique pouvant être articulé avec une des thématiques des systèmes complexes. En particulier, les domaines suivants nous intéressent (liste non exhaustive):

• complexité structurelle;
• modèles de calculs;
• pavages;
• automates cellulaires et modèles dérivés;
• dynamique de modèles discrets;
• calcul en présence d’erreurs.

Profil pour l’équipe MoVe: l’équipe MoVe s’intéresse à la modélisation et à la vérification automatique ou semi-automatique des systèmes informatiques, en particulier les systèmes concurrents. Les domaines d’applications vont des services Web à la preuve de programmes en passant par l’algorithmique distribuée. Le candidat recruté devra s’insérer dans une des thématiques de l’équipe: étude des modèles de la concurrence (ordre partiels, automates et logiques,...) et des applications distribuées (services Web, code mobile, systèmes embarqués, controle d’accès, ...), les techniques de vérification (typage, système de preuve, model-checking temporisé ou pas,...), et l’algorithmique distribuée.

Profil pour l’équipe BDAA: l’équipe BDAA souhaite recruter un candidat ayant une solide culture en apprentissage automatique et pouvant s’intégrer à ses programmes de recherche dans l’un des thèmes suivants:

• la théorie de l’apprentissage statistique, pour des travaux menés en collaboration avec des collègues mathématiciens du LATP;
• les applications de l’apprentissage automatique au langage écrit et parlé, travaux menés en collaboration avec des collègues de l’équipe TALEP du LIF et du Laboratoire d’informatique d’Avignon;
• la fouille de données web et multimedia.

Profil enseignement

Le candidat recruté sera rattaché à l'UFR MIM (Mathématiques, Informatique et Mécanique) et il effectuera ses enseignements dans les filières informatiques proposées par cette UFR, soit sur le campus de St Charles, soit sur le technopôle de Château-Gombert. Un investissement tout particulier en première année de Master d'informatique sera demandé au candidat recruté. Il devra, par ailleurs, pouvoir prendre en charge des enseignements classiques dispensés notamment en Licence d'informatique. Une participation à l'animation et à la gestion de l'enseignement est également souhaitée.

Contacts

• François Denis (directeur du LIF)
• Bruno Durand (président de la CS et responsable de l'équipe Escape)
• Denis Lugiez (responsable de l'équipe MoVe)