Campagne de recrutement des enseignants-chercheurs

Campagne de recrutement des enseignants-chercheurs - Année 2015
UPMC - Université Pierre et Marie Curie - Sorbonne Universités
IDENTIFICATION DE L'EMPLOI
Numéro de l'emploi
27 PR 2950 (4311)
Composante
UFR INGENIERIE
Nature de l'emploi
Professeur des universités (Article 46-1)
Implantation
Campus Jussieu
Section CNU
27 - Informatique
PROFIL
Sûreté et Fiabilité des Systèmes Complexes
TITRE ET RÉSUMÉ DU POSTE EN ANGLAIS
Safety and Reliability of Complex Systems
In order to strengthen its leading research role on safety and reliability of complex systems, LIP6 seeks candidates
with strong expertise in formal methods for modern programming languages, concurrency, trace analysis,
verification, and web programming, as well as related practical challenges.
EURAXESS RESEARCH FIELDS
Computer science
Other
Communication sciences
Other
Engineering
Other
Technology
Other
Information science
Other
ENSEIGNEMENT
Filières de formation concernées
Licence et Master d’informatique.
Le candidat ou la candidate recruté(e) effectuera au moins la moitié de son service d’enseignement en licence.
Il sera amené à intervenir dans le master d’informatique, en particulier dans la spécialité Science et Technologie
du Logiciel (STL).
Objectifs pédagogiques et besoin d'encadrement
La spécialité Science et Technologie du Logiciel (STL) a pour objectif de former des spécialistes en
développement logiciel, possédant une assise solide dans les langages de programmation et les méthodes
algorithmiques, et capables de suivre les évolutions rapides du domaine, tant sur le plan des concepts que des
architectures logicielles.
La spécialité STL propose des agencements d’UE qui couvrent des compétences à la fois larges et pointues en
particulier autour des thématiques suivantes :
• fiabilité du logiciel et algorithmes
• programmation Web, concurrence et mobilité
• génie logiciel et environnements de développement.
Le candidat ou la candidate recruté(e) sera encouragé(e) d'une part à renforcer les équipes pédagogiques des
UE sur ces thématiques et d'autre part à s'investir dans les encadrements de projets tant en M1 qu'en M2.
Il est à noter que la pédagogie de la plupart de ces enseignements est de lier l'enseignement de notions
théoriques avec leur mise en pratique par la réalisation de logiciels. On allie ainsi les aspects fondamentaux de la
discipline avec la conception de programmes écrits dans des langages de haut niveau facilitant l'utilisation
d'outils d'analyse de ces programmes.
Le candidat ou la candidate recruté(e) pourrait aussi être amené à prendre des responsabilités dans
l’organisation d’un parcours professionnel ou professionnalisant de licence en assurant en particulier la gestion
des stages.
Il sera demandé au candidat ou à la candidate recruté(e) de s’investir également dans les Ateliers de
Recherche Encadrée (ARE) en première année de licence et aussi dans les actions d’orientation et d’insertion
professionnelle, et notamment dans les unités d’orientation et d’insertion professionnelle dispensées en licence.
RECHERCHE
Les enjeux de sûreté, fiabilité et sécurité sont cruciaux en informatique, avec un impact clé sur la plupart des
facettes de notre société. Le LIP6 se positionne comme un des principaux acteurs au niveau mondial sur ces
sujets, avec des contributions majeures sur toutes les questions qu'ils soulèvent, aussi bien fondamentales
qu'appliquées.
Afin de renforcer et développer son rôle de leader en la matière, le LIP6 souhaite recruter pour le département
Systèmes Complexes un professeur travaillant sur la sûreté et la fiabilité des systèmes complexes, et ayant une
reconnaissance de premier plan dans le domaine.
Sans être limitative, la liste suivante indique des thématiques que le département souhaite développer en priorité
dans cette direction :
•langages de programmation, tant du point de vue formalisation (sémantique des langages, typage et analyses
statiques, etc), que de l'implantation (compilation, machines virtuelles, gestion automatique de la mémoire) ;
•modèles de programmation concurrente, avec là aussi avec la double approche : formelle pour la sémantique
de la concurrence, et implémentatoire, principalement autour des architectures multi-cœurs et des cartes
graphiques (GPU) ;
•modélisation de systèmes concurrents, par exemple systèmes informatiques asynchrones, y compris avec leur
environnement (humain ou logiciel), et les procédés de fabrication logicielle ;
•programmation Web, en particulier pour la programmation multi-niveaux permettant de décaler facilement les
calculs entre serveurs et clients, avec un aspect formel (sémantique des langages pour le calcul et les
interactions, typage statique des programmes mais aussi de la sérialisation des données et du DOM) et un aspect
d'implantation de ces environnements de développement ;
•extraction de modèles ou de lignes de produits à partir de grands volumes de logs ou calcul (semi-)automatisé
d’abstraction permettant de gérer la complexité des systèmes considérés ;
•relations entre modèles et techniques de vérification formelle.
LABORATOIRE D'ACCUEIL
UMR 7606 - Laboratoire d'informatique de Paris 6
CONTACTS
Recherche
Matthieu LATAPY
Mail : [email protected]
Michèle SORIA
[email protected]
Clémence MAGNIEN
Mail : [email protected]
Fabrice KORDON
Mail : [email protected]
Enseignement
Olivier SIGAUD (licence informatique)
Mail : [email protected]
Bruno ESCOFFIER (master informatique)
Mail : [email protected]
Emmanuel CHAILLOUX (spécialité STL)
Mail : [email protected]
CONSIGNES À RESPECTER OBLIGATOIREMENT POUR LA CONSTITUTION
DE VOTRE DOSSIER DE CANDIDATURE
L'UPMC ayant opté pour un envoi dématérialisé des candidatures, il vous est demandé de suivre à la lettre les
recommandations suivantes pour un traitement optimal de votre dossier.
L'enregistrement des candidatures se fait en deux étapes :
● 1ère étape : du lundi 2 février 2015 à 10 heures au mardi 10 mars 2015 à 16 heures
ENREGISTREMENT de votre candidature sur l'application GALAXIE accessible à
ci-après : https://galaxie.enseignementsup-recherche.gouv.fr/antares/can/astree/index.jsp
● 2ème étape : du lundi 2 février 2015 à 10 heures au mardi 10 mars 2015 à minuit
ENREGISTREMENT ET DÉPÔT DES FICHIERS composant votre dossier de
suivante : http://concours.upmc.fr
partir
candidature,
à
du
lien
l'adresse
Le dossier de candidature devra obligatoirement contenir les pièces ci-après, exigées par la réglementation en
vigueur (arrêtés du 7 octobre 2009), au format PDF :
1. déclaration de candidature datée et signée, téléchargeable sur GALAXIE ;
2. pièce d'identité recto/verso avec photo lisible ;
3. curriculum-vitæ (cf. article 10 au titre IV des arrêtés du 7 octobre 2009) ;
4. diplôme : doctorat, HDR, ou équivalent ;
5. rapport de soutenance ;
6. un exemplaire au moins des travaux, ouvrages, articles et réalisations parmi ceux mentionnés dans le CV ;
7. en cas de candidature :
7a) au titre de la mutation : attestation de l'établissement d'origine permettant d'établir la qualité de
professeur des universités ou de maître de conférences, et l'exercice de fonctions en position d'activité
depuis trois ans au moins à la date de clôture des candidatures ;
7b) au titre du détachement : attestation récente, délivrée par l'employeur actuel, mentionnant
l'appartenance à l'une des catégories visées à l'article 58-1 du décret n° 84-431 du 6 juin 1984 relatif aux
statuts des enseignants-chercheurs et la qualité de titulaire dans le corps ou cadre d'emploi d'origine
depuis trois ans au moins à la date de clôture des inscriptions ;
7c) au titre d'enseignant-chercheur exerçant une fonction d'un niveau équivalent à celui de l'emploi à
pourvoir, dans un État autre que la France, et dispensé de l'inscription sur la liste de qualification :
attestation récente délivrée par l'employeur actuel mentionnant le corps d'appartenance, la durée et le
niveau des fonctions exercées ;
7d) au titre du 46-3 : attestation de l'établissement d'origine permettant d'établir la qualité de professeur des
universités ou de maître de conférences régie par la décret n° 84-431 modifié du 6 juin 1984 et la durée
de service effectué conformément à l'article 46-3 du décret susvisé.
Les documents administratifs en langue étrangère doivent être traduits en français.
Vous trouverez toutes les informations relatives au recrutement des enseignants-chercheurs sur le site de l'UPMC à
l'adresse web suivante, rubrique ACTUALITÉS : http://www.upmc.fr
En cas de difficulté, vous pouvez contacter le service qui traitera votre dossier du point de vue administratif, à
l'adresse [email protected].
AUCUN DOSSIER PAPIER NE SERA ACCEPTÉ