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 11 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é Probable

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 ?? ?? 2021, Audition ?? ?? 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.