Poste de MCF à pourvoir au LACL

Le LACL (Université Paris Est Créteil) ouvre un poste de MCF (CNU 27) à la rentrée 2024 à l’IUT de Créteil-Vitry.

1) Profil pour l’enseignement (IUT Créteil-Vitry) :

Le département Informatique de l’IUT de Créteil-Vitry est ouvert depuis septembre 2022, date à laquelle il a accueilli la première promotion de 1ère année composée de 90 étudiants.

Le département propose un cursus complet de formation en informatique sur trois ans – le BUT Informatique – avec deux parcours : « Réalisation d’applications, conception, développement, validation » et « Administration, gestion et exploitation des données ». L’alternance (apprentissage) est proposée à partir de la 2ème année (BUT2) pour les deux parcours.

Le/La candidat.e recruté.e viendra renforcer l’équipe pédagogique du BUT Informatique.

Il/Elle renforcera plus particulièrement l’équipe pédagogique en BUT2, et par la suite BUT3 (ouverture en 2024-2025), pour la création, l’organisation et l’enseignement des SAÉ (Situations d’Apprentissage et d’Évaluation) et des modules tels que développement, programmation orientée objet, algorithmes avancés, bases de données avancées, cryptographie et sécurité, management avancé SI, réseau avancé, données massives, datamining, Web BD, exploitation/administration BD, techniques d’IA, ceci au niveau des différents parcours du BUT Informatique. Il/Elle pourra également participer aux modules d’algorithmique, programmation, structures de données, modélisation, graphes, technologies du Web du BUT1.

Il/Elle a vocation à être responsable de certains modules et SAÉ, à participer au suivi d’étudiants (projets, alternances, stages, etc.) et aux tâches inhérentes à la structure de formation (direction des études, relations entreprises, relations internationales, apprentissage, emploi du temps, …).

Lieu principal d’exercice enseignement (site, adresse, code postal) :

Département Informatique,

IUT de Créteil-Vitry, 122 rue Paul Armangot, 94400 Vitry-sur-Seine

Nom directeur département : Eric Delechelle

Email : delechelle@u-pec.fr

URL dept : https://iut.u-pec.fr/formations/but/but-informatique

2) Profil pour la recherche (LACL) :

Les activités du LACL sont en informatique fondamentale. Plus précisément, la thématique principale du laboratoire concerne la conception des éléments théoriques pour la modélisation formelle de systèmes, des algorithmes et des logiciels.

La structure et l’organisation de la recherche au laboratoire est décrite sur la page https://www.lacl.fr/fr/presentation.

Le profil de poste demandé cible une intégration, principalement, dans le pôle logique, calcul et programmation. Le/la candidat.e devra renforcer les thématiques de l’équipe, notamment en complexité et calculabilité (ordre supérieur, modèles non standard…), en théories logiques (théorie des ensembles, logiques arithmétiques, structures automatiques…) en dynamique symbolique (automates cellulaires, pavages…), etc.

Toutefois, toute autre thématique justifiant d’un apport d’excellence aux recherches du laboratoire sera considérée avec attention.

LABORATOIRE D’ALGORITHMIQUE, COMPLEXITÉ ET LOGIQUE (LACL)

Université Paris-Est Créteil Val de Marne (UPEC)

61, avenue du Général de Gaulle

94010 Créteil Cedex

Laboratoire d’accueil : LABORATOIRE D’ALGORITHMIQUE, COMPLEXITÉ ET LOGIQUE (LACL)

Nom directeur laboratoire : Julien CERVELLE

Email : julien.cervelle@u-pec.fr

URL labo : http://lacl.u-pec.fr

*****
Concernant le comité de sélection : 

Les dates retenues sont les suivantes :

Choix des auditionné.es : 17 avril

Audition et Classement : 15 mai

Le comité est composé de 5 femmes et 7 hommes (6 PU/DR et 6 MCF/CR).

Le comité est composé de :

Jean-Philippe Couzinie (CNU 33), UPEC, Vice président du COS

Thao Dang (CNU 27), CNRS, Verimag

Claire David (CNU 27), LIGM, UGE

Eric Delechelle (CNU 61), UPEC, Responsable du département informatique

Karim Djouani (CNU 61), UPEC

Isabelle Dutour (CNU27), IUT Bordeaux LABRI

Laura Fontanella (CNU 27), UPEC, FST, LACL

Bart Lamiroy (CNU 27) IUT Reims

Lynda Mokdad (CNU 27), UPEC, FST, LACL

Aomar Osmani (CNU 27) Paris 13

Ludovic Patey (CNU 27), CNRS, IMJ-PRG

Pierre Valarcher (CNU 27),UPEC, IUT, LACL, Président du COS

Poste de MCF à pourvoir au LACL

Un poste de MCF est à pourvoir dans la session synchronisée 2022. Le poste sera rattaché au LACL et l’enseignement sera dispensé à l’EPISEN.
 
Le candidat devrait s’intégrer dans les pôles et axes de recherche de l’équipe SVS du LACL. Une attention particulière sera portée sur les candidatures qui répondront à un ou plusieurs des critères suivants :
  1. Renforcement du pôle synthèse de contrôleurs pour les modèles probabilistes et temporisés et méthodes statistiques pour la synthèse et la vérification des systèmes cyber-physiques.
  2. Ouverture vers les nouvelles applications des méthodes formelles en intelligence artificielle, exclusivement celles promues dans les colloques LAMAS/SR (ex. https://lamassr.github.io/) ou FMAI (https://www.doc.ic.ac.uk/~fbelard/Workshop/).
  3. Participation aux recherches du laboratoire dans le domaine de la sémantique des systèmes distribués.
 
Toute autre thématique justifiant d’un apport aux recherches du laboratoire sera considérée.
 
Directeur du laboratoire LACL : Julien Cervelle.
 
Pour les activités d’enseignement, la personne recrutée s’engage à prendre en charge :
  1. Le cours d’Introduction aux infrastructures systèmes et réseaux ((niveau ingénieur 1ère année).
  2. L’un des cours suivants (niveau ingénieur 3e année) :
  •      Sécurité des réseaux
  •     Cloud et containerisation
  •     Data science/data engineering.
Toute expérience d’enseignement dans l’un de ces cours sera donc appréciée.
 
Aussi, au terme de 2 années d’accompagnement par la responsable actuelle, la personne recrutée devra prendre en charge la responsabilité de la première année du diplôme d’ingénieur en Systèmes d’information. 
 
Responsable du département Systèmes d’Information : Olivier Michel.
Responsable de la première année du cycle ingénieur : Elisabeth Pelz.
Dates des réunion du comité de sélection :
  • 5 mai : étude des dossiers de candidature,
  • 20 mai : auditions et classement.

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)

Motion du conseil du LACL du 19/11/2020

Le LACL, réuni en conseil de laboratoire extraordinaire, apporte son soutien à la motion
votée en Assemblée Générale des personnels de l’UPEC.

Nous affirmons notre opposition vive au projet de loi de programmation de la recherche
tel que présenté par le gouvernement, ainsi que toutes ses modifications jusqu’à sa
version votée à l’Assemblée Nationale le 17 novembre 2020.

Entre autre nous nous opposons à

  • à l’amplification du financement de la recherche sur appels à projet (via l’ANR
    entre autres)
  • à la création de contrat de projet (emploi à durée déterminée) et le
    développement des tenure track

Nous souhaitons que les orientations suivantes soient prises :

  • développement d’emplois statutaires d’enseignants-chercheurs et chercheurs
  • budgétisation récurrente des laboratoires de recherche
  • soutien financier pluri-annuel à la recherche fondamentale

Nous demandons donc le rejet de ce projet de loi par le Parlement.

De plus, nous demandons aux instances de l’Université de s’engager à ne pas utiliser les
procédures de recrutements dérogatoires et les nouveaux contrats précaires que ce
projet de loi permettraient s’il entrait en vigueur, si la loi est votée en l’état.

Fait à Créteil, le 19 novembre 2020

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)