Profils des postes

Analyse et vérification des systèmes informatiques (MCF 0318)

Profil recherche

Le candidat recruté s'intégrera dans l'équipe Modélisation et Vérification (MoVe) du LIF.

Nos thèmes de recherche concernent la modélisation de systèmes informatiques (logiciel ou matériel) en général distribués et/ou concurrents et les méthodes de vérification associées. Les systèmes qui nous intéressent actuellement sont les services webs et protocoles cryptographiques, les systèmes distribués et automates temporisés.

Les modèles considérés sont des calculs de processus, réseau de Pétri, automates, structure d'évènements... Les méthodes de vérification sont basées sur des aspects algorithmiques et logiques (ordres partiels, calcul symbolique, automates, logiques, réécriture,...)

Profil enseignement

L'UFR MIM de l'université de Provence propose une licence d'informatique et un master d'informatique cohabilité. Elle propose aussi une licence professionnelle en informatique. Un prérequis pour l'enseignement est de reprendre le cours de master "sécurité des applications Web" master 2, option sécurité et fiabilité des systèmes informatiques assurée par l'équipe MoVe. Les autres besoins concernent les cours classiques généralistes et des cours plus avancés et techniques (depuis l'initiation algorithmique jusqu'au cours de programmation avancée en passant par réseau, système et base de donnée).

Contacts

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

Apprentissage automatique et inférence (MCF 1594)

Profil recherche

Au sein de l'équipe Bases de Données et Apprentissage Automatique (BDAA) du LIF, l'apprentissage automatique est développé par un petit groupe de chercheurs qui travaillent sur des thèmes d'apprentissage statistique et d'inférence grammaticale probabiliste, mais aussi sur des applications de l'apprentissage à la bio-informatique. Nous sommes également géographiquement et structurellement proches de chercheurs en statistiques inférentielles, membres du Laboratoire d'Analyse, Topologie et Probabilités (LATP), avec lesquels nous envisageons de développer un projet de recherche intégrant les aspects statistiques et informatiques de l'apprentissage.

Si le candidat a effectué ses recherches en section 27, nous souhaitons qu'il ait acquis une bonne connaissance de l'apprentissage statistique.

Les candidats ayant effectué leurs recherches en section 26 sont également les bienvenus, pouvu qu'ils puissent (et souhaitent) assurer les enseignements de base des filières informatiques classiques. Leur mission particulière serait alors de développer les interactions avec nos collègues du LATP.

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. Il devra pouvoir prendre en charge des enseignements classiques dispensés en Licence et Master d'informatique. Il pourra également intervenir et s'investir dans des modules de "d'apprentissage automatique et fouille de données" dispensés dans plusieurs de nos filières et contribuer à renforcer notre position sur ce créneau de la formation professionnelle.

Contacts

• François Denis (responsable de l'axe AA de l'équipe BDAA et directeur adjoint du LIF)
• Bruno Durand (président de la CS)

Modèles de calculs, complexité et langages formels (MCF 0813S)

Profil recherche

Le candidat devra s'insérer dans l'équipe Escape du LIF. L'équipe apporte ses contributions dans la partie "informatique théorique" du domaine émergeant et interdisciplinaire des "systèmes complexes". Le projet scientifique du groupe étant fondé sur le (fructueux) mélange de diverses méthodologies d'informatique théorique, le spectre scientifique couvert est assez vaste. Ainsi, le profil du poste est assez large et nous souhaitons que le candidat recruté apporte des compétences complémentaires aux nôtres mais nous demandons qu'une collaboration poussée avec les travaux actuels du groupe soit clairement établie. Nos compétences reconnues à Marseille dans ce domaine seraient fructueusement complétées par l'apport de compétences en dynamique symbolique, en théorie des langages ou dans d'autres domaines de l'informatique théorique pourvu qu'un projet d'intégration convainquant dans notre équipe soit proposé.

Profil enseignement

Nous souhaitons que le candidat puisse enseigner des matières variées. Les enseignements dispensés à l'université de Provence (en collaboration avec les autres universités) comportent une licence avec des parcours Informatique, Mathématiques-Informatique, Physique-Informatique, télé-enseignement, une licence professionnelle et un master Informatique (recherche et professionnel). Nous dispensons aussi des enseignements en partenariat avec d'autres disciplines. Toutes ces filières d'enseignement ont des besoins variés.

Contacts

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

Informatique imagerie numérique (MCF 1598)

Poste publié en sections 27 et 61

Profil recherche

Le candidat s’intégrera dans l’équipe Image&Modèles (I&M) (anciennement LXAO) du laboratoire LSIS. Celle-ci développe deux thèmes de recherche:

• Analyse d’Images, Reconstruction et Simulation
• Modélisation Géométrique et Visualisation

Le poste demandé a pour objectif de renforcer l’activité en modélisation géométrique. Il contribuera au développement d’une ou plusieurs des thématiques de recherche en modélisation géométrique en cours dans l’équipe: la résolution de contraintes pour la modélisation de courbes et surfaces, la manipulation de maillages et de surfaces discrètes, les surfaces de subdivision.

Profil enseignement

Filières de formation concernées :

• DUT Informatique
• DUT SRC

Le candidat devra assurer des enseignements dans les thèmes suivants :

• algorithmique et programmation objet (C++, Java)
• analyse et conception de systèmes d'information (UML, XML)
• bases de données et programmations d'applications liées (SQL)
• systèmes d'exploitation et réseaux
• synthèse et/ou traitement d'images

En plus des enseignements, le Maître de conférences devra s'impliquer dans le fonctionnement administratif et pédagogique de sa structure d'acceuil.

Contacts

• Romain Raffin (IUT d'Arles - recherche)
• Robert Pujade (IUT d'Arles - département d'informatique)
• Antoine Coppola (IUT d'Arles - département SRC)
• Bruno Durand (président de la CS)