2 postes de MCF

Le LACL ouvre 2 postes de maître de conférence en informatique (section CNU 27) à la rentrée 2021.

Les concours se font lors de la campagne synchronisée dans un cadre national.
Voir ce site pour plus de détails sur les dates et modalités pratiques du dépôt de dossier.

Concernant le contenu des dossiers, le site de la CNU 27 donne un grand nombre de recommandations.

Le LACL recherche, avant tout, des candidates et des candidats d’un excellent niveau scientifique s’intégrant dans les thématiques de recherche du laboratoire, déclinées dans les deux équipes suivantes :

Les candidates et les candidats peuvent obtenir plus d’informations en contactant :

  • Julien Cervelle (julien.cervelle@u-pec.fr), directeur du LACL
  • Florent Madelaine (florent.madelaine@u-pec.fr), responsable équipe LCP
  • Catalin Dima (dima@u-pec.fr), responsable équipe SVS

Poste MCF à la faculté des sciences et technologie.

Enseignement au département informatique sur le site de Créteil.
Insertion dans l’équipe LCP privilégiée.
Contact Enseignement : Daniele Varacca (daniele.varacca@u-pec.fr)
Contact Recherche : Florent Madelaine (florent.madelaine@u-pec.fr)

Poste MCF en informatique à l’EPISEN.

Enseignement à l’EPISEN au département SI.
Insertion dans l’équipe SVS privilégiée.
Contact Enseignement : Olivier Michel (olivier.michel@u-pec.fr)
Contact Recherche : Régine Laleau (laleau@u-pec.fr)


Détails Poste MCF à la faculté des sciences et technologie.

Dates Probables

Sélection 15 avril 2021, Audition 6 mai 2021

Enseignement

Le département a besoin d’enseignant-chercheurs, capables d’enseigner à tous les niveaux (de la L1 jusqu’au Master),
toutes les disciplines informatiques (Programmation, Bases de Données, Systèmes, Réseaux, Théorie).

Recherche

Le profil de poste demandé cible une intégration dans l’équipe logique, calcul et programmation.
Le ou la candidat-e devra renforcer les thématiques de l’équipe, notamment en calculabilité (ordre supérieur, modèles non standard…), en théorie logiques (théorie des ensembles, logiques arithmétiques, structures automatiques…) ou en dynamique symbolique (automates cellulaires, pavages…).
Tout autre thématique justifiant d’un apport aux recherches de l’équipe sera considérée.

Comité

Internes:

  • A: Julien Cervelle (LCP, FST), Florent Madelaine (LCP, IUT, Président), Nihal Perkergin (SVS, FST)
  • B: Luidnel Maignan (LCP, FST), Sovana Tan (SVS, FST)

Externes:

  • A: Olivier Bournez (École Polytechnique), Nadia Creignou (Aix-Marseille), Boban Velickovic (Paris 7)
  • B: Mamadou Moustapha Kanté (Clermont-Auvergne), Irène Marcovici (Université de Lorraine), Daniela Petrisan (Paris 7), Gaétan Richard (Caen)

Détails Poste MCF en informatique à l’EPISEN.

Dates Probables

Sélection 12 avril 2021, Audition Jeudi 20 mai 2021.

Enseignement

L’EPISEN est une école d’ingénieur-e-s d’université, reconnue par la Cti, composée de trois départements ISBS (biomédical et santé), ITS (technologie pour la santé) et SI (Systèmes d’information).

Le ou la candidat-e intègrera le département SI fortement investi dans la formation en apprentissage qui doit consolider sa position sur les thèmes du numérique en lien avec la santé, sur la construction des relations internationales et le développement des relations avec les entreprises.

Le ou la candidat-e viendra renforcer l’équipe enseignante, notamment sur les enseignements suivants : ingénierie des systèmes d’information, réalisation logicielle, écosystème des SI.

Il sera attendu de sa part un investissement important en prise de responsabilités administratives au sein du département SI ainsi que dans les enseignements sur son domaine, en participation aux projets de synthèse dans toutes les années d’étude et en suivi et accompagnement des étudiants (en formation à temps plein, en alternance ou continue) ainsi qu’un engagement fort dans la promotion du développement durable comme problématique et enseignement transversal.

Nom du directeur du département : Olivier Michel (olivier.michel@u-pec.fr)

Recherche

Le profil de poste demandé concerne les assistants de preuve et les outils de preuve automatique. Afin de renforcer les potentialités du laboratoire dans la prise en compte des nouveaux modèles et domaines des systèmes, le LACL souhaite recruter un MCF ayant une expérience avec les outils de preuves informatisées (preuve automatique, aide à la preuve interactive, vérification de preuves). La personne recrutée doit pouvoir intégrer le pôle “langage B” mais peut avoir une expérience différente, par exemple et sans exhaustivité, les outils Why3, Coq, Isabelle ou les solveurs SMT.

Comité

Internes:

  • A: Régine Laleau (présidente, SVS, IUT), Olivier Michel (vice-président, LCP, EPISEN), Elisabeth Pelz (SVS, EPISEN)
  • B: Frédéric Gava (SVS,EPISEN), Youssouf Oualhadj (SVS, FST), Antoine Spicher (LCP, FST)

Externes:

  • A: Catherine Dubois (SAMOVAR, ENSIIE), Olga Kouchnarenko (FEMTO, Univ Franche-Comté), Dominique Mery (LORIA, Telecom Nancy), Laure Petrucci (LIPN, Univ Paris 13)
  • B: Xavier Crégut (IRIT, ENSEEIHT), Akram Idani (LIG, ENSIMAG), Micaela Mayero (LIPN, IUT Paris 13), Andrei Paskevich (LRI, IUT Orsay)

3 Postes de MCF

Le LACL ouvrira 3 postes de maître de conférence en informatique (section CNU 27) à la rentrée 2020.

Suite à l’épidémie de Covid-19, le concours est maintenue mais les dates annoncées initialement changent. Voir le site Galaxie pour plus de détails
Pour les trois postes du LACL, les auditions sont reportées début juin

Le LACL recherche, avant tout, des candidates et des candidats d’un excellent niveau scientifique s’intégrant dans les thématiques de recherche du laboratoire, déclinées dans les deux équipes suivantes :

Les candidates et les candidats peuvent obtenir plus d’informations en contactant :

  • Julien Cervelle (julien.cervelle@u-pec.fr), directeur du LACL
  • Florent Madelaine (florent.madelaine@u-pec.fr), responsable équipe LCP
  • Catalin Dima (dima@u-pec.fr), responsable équipe SVS

Poste MCF en informatique à l’IUT de Sénart-Fontainebleau.

Enseignement au département MMI sur le site de Sénart.
Insertion dans l’équipe LCP privilégiée.
Contact Enseignement : Frédéric Gervais (frederic.gervais@u-pec.fr)
Contact Recherche : Florent Madelaine (florent.madelaine@u-pec.fr)

Poste MCF en informatique à l’UFR de droit de l’UPEC.

Enseignement à l’UFR de droit à Créteil en particulier dans le Master de droit du numérique.
Insertion dans l’équipe SVS privilégiée.
Contact Enseignement : Pierre Valarcher (pierre.valarcher@u-pec.fr)
Contact Recherche : Catalin Dima (dima@u-pec.fr) et Daniele Varacca (daniele.varacca@u-pec.fr)

Poste MCF en informatique à l’UFR des sciences de l’UPEC.

Enseignement dans la future licence santé de l’UPEC à Créteil.
Insertion dans l’équipe SVS privilégiée.
Contact Enseignement : Daniele Varacca (daniele.varacca@u-pec.fr)
Contact Recherche : Catalin Dima (dima@u-pec.fr) et Nihal Pekergin (nihal.pekergin@u-pec.fr)


Détails Poste MCF en informatique à l’IUT de Sénart-Fontainebleau.

Dates Probables

Sélection 30 avril 2020, Audition le 13 mai 2 juin 2020

Enseignement

Attachée au département MMI, sur le site de Sénart, la personne recrutée prendra en charge le champ disciplinaire informatique, et plus précisément le réseau et la programmation. Il ou elle participera aux enseignements et encadrera des enseignants (titulaires et vacataires). Il ou elle devra assurer un service statutaire d’enseignement de 192h et devra coordonner en DUT MMI (FI et FA) des modules parmi les suivants :

  • Services sur réseaux
  • Programmation objet et événementielle
  • Algorithmique et programmation
  • Bases de données
  • Développement web

Recherche

Le profil du poste demandé concerne les pôles Calculabilité d’ordre supérieure et Modèles de calculs. Il se situe en informatique théorique, de préférence sur les thèmes de la calculabilité au sens large : Degrés Turing, calculabilité d’ordre supérieur, mathématiques à rebours, théorie des modèles calculables, calculabilité et systèmes dynamiques, aléatoire algorithmique, théorie des ensembles.
La liste précédente est non exhaustive. Les candidatures d’excellences en informatique théorique et sur d’autres thèmes que ceux mentionnés ci-dessus seront considérées favorablement.

Comité

Internes:

  • A: Florent Madelaine (LCP, IUT, Président), Nihal Perkergin (SVS, FST), Julien Cervelle (LCP, FST)
  • B: Frédéric Gervais (SVS, IUT), Benoît Monin (LCP, IUT)

Externes:

  • A: Marie-Pierre Béal (Marne), Arnaud Durand (P7), Danièle Gardy (Versailles)
  • B: Claire David (Marne), Benjamin Hellouin (Orsay), Malika More (Clermont), Ludovic Patey (Lyon)

Détails Poste MCF en informatique à l’UFR de droit de l’UPEC.

Dates Probables

Sélection 21 avril 12 mai2020, Auditions 12 mai 3 juin2020.

Enseignement

TBA

Recherche

Le profil de poste demandé concerne les pôles Modèles de calcul et Modèles probabilistes et temporisés ; méthodes statistiques. La personne recrutée devra effectuer ses recherches en algorithmique sur des objets combinatoires en lien avec les modèles théoriques utilisés au laboratoire (graphe, automates…) ou aux problématiques émergentes (modèles d’intelligence artificielle, de systèmes complexes).

Comité

Internes:

  • A: Régine Laleau (SVS, IUT), Daniele Varacca (Président – SVS/LCP, FST), Pierre Valarcher (LCP, IUT)
  • B: Youssouf Oualhadj (SVS, FST), Antoine Spicher (LCP, FST), Maïté Guillemain (Droit privé, IUT Seine et Marne Sud)

Externes:

  • A: Patricia Bouyer (LSV), Thao Dang (Grenoble), Damien Pous (Ens Lyon)
  • B: Benjamin Monmège (Marseille), Daniela Petrisan (IRIF), Nathalie Bertrand (Rennes)

Détails Poste MCF en informatique à l’UFR des sciences de l’UPEC.

Dates Probables

Sélection 22 Avril11 mai, Auditions: 11 Mai2 juin

Enseignement

La création de la licence « Santé » au sein de l’Université nécessite de ressources supplémentaires. Le département d’Informatique de la Faculté des Sciences est appelé à contribuer cette nouvelle licence.

Le Maître de Conférence sera amené à contribuer aux enseignements du Département d’Informatique de la Faculté de Sciences et Technologie, notamment au montage de l’option Informatique au sein de la nouvelle Licence Santé qui ouvrira prochainement. Il/elle contribuera aussi aux enseignements de la Licence et du Master Informatique, selon ses compétences et préférences.

Recherche

Le profil de poste demandé concerne le pôle Modèles probabilistes et temporisés de l’équipe spécification et vérification de systèmes et plus précisément les outils de vérification (model checking) des systèmes dynamiques. Afin de renforcer les potentialités du laboratoire dans la prise en compte des nouveaux modèles et domaines des systèmes, le LACL souhaite recruter un MCF ayant une expérience avec les méthodes et les outils de vérification et plus particulièrement dans la réalisation concrète de ces méthodes et outils. Une connaissance des modèles temporisés et probabilistes (automates, jeux) est un atout.

Comité

Internes:

  • A: Nihal Pekergin (Présidente – SVS, FST), Daniele Varacca (SVS/LCP, FST), Pierre Valarcher (LCP, IUT)
  • B: Benoît Barbot (SVS, FST), Luidnel Maignan (LCP, FST), Joelle Cohen (SVS, ESIPE)

Externes:

  • A: Serge Haddad (LSV), Thao Dang (Grenoble), Pascale Le Gall (Supélec)
  • B: Benjamin Monmège (Marseille), Mihaela Sighireanu (IRIF), Alexandre Duret-Lutz (LRDE-EPITA)