Associate Professor : Logiciels, systèmes et algorithmes

Pour la campagne de recrutement 2023, Sorbonne Université ouvre un poste de MCF en Informatique intitulé "Logiciels, systèmes et algorithmes". Les inscriptions s’effectueront exclusivement sur le portail ministériel Galaxie entre le 27 janvier 2023 à 10h00 (heure de Paris) et le 3 mars 2023 à 16h00 (heure de Paris). Attention: la date de fin d'inscription est avancée par rapport à d'autres institutions.

Profil du poste

Enseignement

Licence et Master d’informatique, Sorbonne Université.

La personne recrutée interviendra de façon équilibrée dans les UE de Licence et de Master d’informatique.

En Licence d’informatique, les besoins en enseignement couvrent l’ensemble de la discipline : algorithmique, programmation (notamment objet, concurrente, fonctionnelle, web), mathématiques discrètes, structures de données, système, architecture, réseaux, compilation, bases de données...

En Master, selon son profil, la personne recrutée renforcera les enseignements des parcours « Sciences et Technologies du logiciel » (STL), « Systèmes Électroniques et Systèmes Informatiques » (SESI) et « Systèmes et Application Réparties » (SAR). Parcours STL : les objectifs pédagogiques concernent les unités d’enseignement d’algorithmique et de programmation spécialisée de M1 et de M2.

• Parcours SESI :La personne recrutée devra s’investir dans les matières de conception de circuits hétérogènes, conception de circuits intégrés numériques et analogiques, CAO, intégration multi-domaines sur puce. Sont également concernés les enseignements liés à l’interaction matérielle/logicielle à l’intérieur du système ainsi que à l’interaction du système avec son environnement.


• Parcours SAR : Les enseignements visés portent notamment sur la programmation répartie et autres domaines qui sont cruciaux pour la mise en œuvre de systèmes complexes massivement répartis, notamment les applications du Cloud

Recherche

Le LIP6, UMR 7606, Unité Mixte de Recherche CNRS et Sorbonne Université, est un laboratoire de recherche en informatique se consacrant à la modélisation et la résolution de problèmes fondamentaux motivés par les applications, ainsi qu'à la mise en œuvre et la validation des solutions au travers de partenariats académiques et industriels.

Les 22 équipes du LIP6 articulent leurs activités autour de quatre axes transverses : « Intelligence artificielle et science des données », « Architecture, systèmes et réseaux », « Sécurité, sûreté et fiabilité », « théorie et outils mathématiques pour l’informatique ».

Le LIP6 cherche à recruter un-e expert en fiabilité et en performance des systèmes, logiciels et algorithmes, des systèmes critiques et des systèmes distribués, qui sont des thèmes au cœur de son axe « Sécurité, sûreté et fiabilité ».

La personne recrutée s'intégrera dans une des trois équipes APR, DELYS et MoVe avec une priorité pour les équipes DELYS et MoVe.

• L'équipe DELYS étudie les algorithmes et systèmes répartis. Ces systèmes peuvent être massifs, dynamiques et sujets à des défaillances. Delys souhaite renforcer sa thématique sur les systèmes distribués notamment sur les nuages, la virtualisation, les protocoles répartis et la fiabilité.


• L'équipe MoVe souhaite renforcer les thématiques liées à ses axes de recherche concernant l’utilisation des méthodes formelles pour l’analyse et la vérification de systèmes et le génie logiciel. Les thèmes abordés concernent les techniques de vérification de systèmes (model checking, synthèse..etc), les lignes de produits logiciels ou l’ingénierie des modèles.


• L'équipe APR étudie des approches formelles combinant des aspects algorithmiques et langages de programmation ayant pour but l'amélioration de la qualité, la fiabilité et la performance des logiciels. Elle souhaite renforcer ses thématiques liées à la conception, l'analyse, l'implantation efficace et la vérification des algorithmes (algorithmes de graphes, combinatoire analytique, topologie computationnelle) mais resteouverte à des candidatures qui créeraient des liens avec ses thématiques en langages de programmation(conception, implantation, sémantique, analyse et vérification) et les étendraient vers des sujets connexes.

Contact

• LIP6 : Fabrice.Kordon(at)lip6.fr
• Licence Informatique : Jean-Lou.Desbarbieux(at)sorbonne-universite.fr
• Master Informatique : Olivier.Fourmaux(at)sorbonne-universite.fr