Catégorie : Maitre de conference

Poste d’enseignant·e chercheur·euse en vérification formelle

Enseignement: Département informatique – IUT Villetaneuse
Recherche: équipe LoVe, axe Vérification

Site de candidature :
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm

Description

Enseignement

Département ou filière d’enseignement :
Département informatique — Département Réseaux et Télécommunications

Lieu(x) d’exercice:
IUT de Villetaneuse – Université Sorbonne Paris Nord

L’enseignant.e recruté.e sera amené.e à prendre en charge des enseignements en informatique en particulier dans le domaine des systèmes et réseaux en BUT au département informatique et en BUT au département R&T ainsi qu’en Licence Professionnelle Métiers des Réseaux Informatiques et Télécommunications (LP MRIT) au département R&T de l’IUT de l’université Sorbonne Paris Nord.

Le contenu pédagogique des BUT suit des programmes pédagogiques nationaux.

Les besoins portent sur l’enseignement en réseaux informatiques et en systèmes d’exploitation, ainsi qu’en administration des systèmes informatiques.

Il est attendu que la personne recrutée participe et s’investisse dans la vie collective du département. En particulier, à court/moyen terme, devenir responsable de cours, participer à l’organisation des SAE (SAé – Situations d’Apprentissage et d’évaluation) et autres responsabilités pédagogiques plus larges.

Contacts :
Prénom et Nom : Aomar Osmani
Fonction : Chef du département informatique
Courriel : aomar.osmani@univ-paris13.fr

Prénom et Nom : Yamina Amzal
Fonction : Cheffe du département R&T
Courriel : yamina.amzal@univ-paris13.fr


Recherche

Unité de recherche :
Laboratoire d’Informatique de Paris Nord (UMR CNRS 7030)

Adresse :
99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

Description :
Le Laboratoire d’Informatique de Paris-Nord (LIPN – CNRS UMR 7030) souhaite renforcer l’axe Vérification de l’équipe LoVe par le recrutement d’un.e Maître.sse de Conférences. Les travaux de recherche de l’axe Vérification s’articulent autour de la vérification formelle de modèles pour la sûreté et la sécurité des systèmes. Les modèles formels considérés sont variés (réseaux de Petri, automates temporisés et/ou paramétrés, logique de réécriture, etc.) tout comme les logiques exprimant leurs propriétés (LTL, CTL, TCTL, ATL, etc.) prenant ainsi en compte sous plusieurs perspectives les systèmes étudiés. Les travaux menés visent à repousser les limites du model checking en proposant des approches de réduction de l’espace d’états différentes et complémentaires (structures et représentations symboliques, modularité, ordre partiel, parallélisation, etc.). L’adaptation et l’application des approches proposées à des domaines particuliers (sécurité, systèmes cyberphysiques, processus métiers, blockchain, etc.) constituent également un objectif important de l’axe Vérification.

L’expertise de la personne recrutée et son projet de recherche doivent s’intégrer dans les travaux de l’équipe. Il est attendu que la personne recrutée soit désireuse de travailler en équipe sur des problématiques scientifiques à court et long termes.

Site Web :
https://lipn.univ-paris13.fr/love/

Contacts :
Frédérique Bassino
Directrice du LIPN
frederique.bassino@univ-paris13.fr

Kais Klai
Responsable de l’axe vérification de l’équipe LoVe
kais.klai@univ-paris13.fr

Poste d’enseignant·e chercheur·euse en Optimisation combinatoire, TAL ou Graphes de connaissances

Enseignement: Département informatique – IUT Villetaneuse
Recherche: équipes RCLN et/ou AOC

Site de candidature :
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm

Description

Enseignement

Département ou filière d’enseignement :
Département informatique

Lieu(x) d’exercice :
IUT de Villetaneuse – Université Sorbonne Paris Nord

Description:
L’enseignant.e recruté.e sera amené.e à prendre en charge des enseignements en informatique en BUT au département informatique de l’IUT de l’université Sorbonne Paris Nord.

Le contenu pédagogique suit un programme pédagogique national. Les compétences en base de données seront particulièrement appréciées. Les besoins portent sur la création et l’exploitation de bases de données ; la conception d’une base de données ; l’introduction au langage SQL et à la programmation avancée SQL ; l’introduction d’approches au-delà du relationnel (noSQL) et la qualité d’une base de données.

Il est attendu que la personne recrutée participe et s’investisse dans la vie collective du département. En particulier, à court/moyen terme, devenir responsable de cours, participer à l’organisation des SAE (SAé – Situations d’Apprentissage et d’évaluation) et autres responsabilités pédagogiques plus larges.

Contacts :
Prénom et Nom : Aomar Osmani
Fonction : Chef de département informatique
Courriel : aomar.osmani@univ-paris13.fr

Prénom et Nom : Franck Butelle
Fonction : Responsable de discipline informatique, département informatique
Courriel : franck.butelle@univ-paris13.fr

Recherche

Unité de recherche :
Laboratoire d’Informatique de Paris Nord (UMR CNRS 7030)

Adresse :
99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

Description:
Le Laboratoire d’Informatique de Paris-Nord (LIPN – CNRS UMR 7030) souhaite recruter un.e Maître.sse de Conférences pour renforcer la recherche dans l’une ou l’autre des deux équipes suivantes : Algorithmes et Optimisation Combinatoire (AOC) ou Représentation des Connaissances et Langage Naturel (RCLN).

  • L’équipe AOC aborde des questions allant de la théorie à la pratique de l’optimisation combinatoire et de la recherche opérationnelle. Elle étudie les structures combinatoires des problèmes et développe des approches de résolution basées sur les polyèdres, l’optimisation dans les graphes et la programmation mathématique. Elle s’intéresse également à l’implémentation de ces algorithmes pour des applications industrielles. L’équipe a développé des collaborations locales, régionales, nationales et internationales. Elle a également de nombreuses collaborations industrielles.
    Le profil recherché par l’équipe AOC peut provenir de tout domaine de l’optimisation combinatoire et de la recherche opérationnelle en lien avec les thématiques de recherche de l’équipe. Il sera particulièrement apprécié un profil s’intéressant à l’optimisation linéaire et non linéaire, les polyèdres ou les méthodes de décomposition. Une expertise complémentaire sur des thèmes comme l’optimisation sous incertitudes, la complexité des problèmes, l’apprentissage pour l’optimisation, la théorie de la décision ou théorie des graphes sera aussi la bienvenue.
  • L’équipe RCLN rassemble des compétences en Traitement Automatique des Langues, en linguistique de corpus, en graphe de connaissances, ainsi qu’en fouille de données et en apprentissage automatique. Ces compétences complémentaires lui permettent de mener des travaux innovants pour l’analyse (axe 1) et l’exploration de corpus de textes (axe 2), ainsi que pour l’acquisition de connaissances à partir de graphes de connaissances ou de textes (axe 3). Les approches développées permettent de traiter de problèmes complexes dans les textes ou dans les graphes de connaissances, comme l’analyse syntaxique profonde, l’extraction simultanée de relations sémantiques et d’entités nommées, ou encore la complétion de graphes, à l’aide de méthodes issues de l’apprentissage profond, de l’optimisation combinatoire, ou de la fouille de graphes. L’équipe prend une part active dans la direction et les travaux du LabEx « Fondements Empiriques de la Linguistique ». L’équipe recherche un profil capable de s’intégrer à l’un de ses axes de recherche.

Sites Web :
RCLN team: https://lipn.univ-paris13.fr/rcln/
AOC team: https://lipn.univ-paris13.fr/aoc/

Contacts :
Frédérique Bassino
Directrice du LIPN
frederique.bassino@univ-paris13.fr

Nathalie Pernelle
Responsable de l’équipe RCLN
pernelle@lipn.univ-paris13.fr

Roberto Wolfler Calvo
Responsable de l’équipe AOC
wolfler@lipn.univ-paris13.fr


Poste d’enseignant·e chercheur·euse en logique et théorie de la programmation

Enseignement : Informatique – Département GEA – IUT de Saint-Denis
Recherche : équipe LoVe, axe Logique

Site de candidature :
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm

Description

Enseignement

Département ou filière d’enseignement :
Informatique – Département Gestion des entreprises et des administrations (GEA)

Lieu(x) d’exercice:
IUT de Saint-Denis, Place du 8 mai 1945, 93200 Saint-Denis

Description:
Le Bachelor Universitaire de Technologie en Gestion des Entreprises et Administrations (BUT GEA) est un diplôme national de niveau Bac +3 avec 4 spécialisations: comptabilité et finance, contrôle de gestion, ressources humaines et le management & entrepreneuriat.

Le ou la MCF recruté.e pourra intervenir dans ces 4 parcours et assurer les enseignements d’informatique du programme national du BUT GEA sous la forme de cours, TD et TP.

Pour les trois années de BUT les matières enseignées sont les suivantes (cf PN GEA).

  • les outils numériques de gestion: Découvrir des outils numériques et des applications dans un contexte professionnel et utiliser les fondamentaux du tableur
  • Le traitement numérique des données
  • Exploiter l’information Modéliser à l’aide de logiciels et aider à la décision
    • Modèle Conceptuel des Données
    • Lien avec Tableau Croisé Dynamique (TCD)
  • Algorithmique et programmation
    • Notions d’algorithmique
    • Programmation (Visual Basic for Application (VBA), etc.)
    • Macro (VBA) pour création tableaux de bord

Une partie du service de la personne recrutée prendra la forme d’une participation aux activités pédagogiques transversales (Situations d’Apprentissage et d’Évaluation) avec d’autres membres des équipes pédagogiques. Elle sera également amenée à accompagner les étudiant.e.s pour la réalisation de leurs rapports de stages et portefolios.

Site Web :
https://iutsd.univ-paris13.fr/departement/gestion-entreprises-administrations/

Contacts :
Prénom et Nom : Chef(fe) de département GEA
Fonction : Chef(fe) de département GEA
Courriel : geadir.iutsd@univ-paris13.fr

Recherche

Unité de recherche :
Laboratoire d’Informatique de Paris Nord (UMR CNRS 7030)

Adresse :
99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

Description:
Le LIPN souhaite renforcer l’axe Logique de l’équipe Logique et Vérification par le recrutement d’un maître ou d’une maîtresse de conférences. Au niveau national, l’axe s’insère dans les GDR IM (GT SCALP et GT LHC) et GPL (GT LTP). Au niveau international, l’axe est impliqué dans des IRN CNRS avec l’Italie et le Danemark, et est investi dans l’organisation d’événements scientifiques de portée internationale (Caleidoscope 2019, FSCD 2020, EPIT 2023).

Nous cherchons un ou une MCF pouvant contribuer à l’un des thèmes de recherche suivants:

  • Théorie de la programmation: le candidat ou la candidate pourra développer ses recherches dans l’un des domaines où l’expertise de l’équipe est internationalement reconnue (logique linéaire, lambda-calcul, sémantique dénotationnelle). On appréciera particulièrement des compétences ou des intérêts additionnels en accord avec les spécificités de l’équipe : sémantique de langages probabilistes ou programmation différentiable, théorie des catégories et ses applications à l’informatique, complexité et analyse quantitative de programmes.
  • Assistants à la preuve et théorie des types: ce thème n’est pas central dans l’équipe mais peut être renforcé par un/une MCF avec expérience directe en preuves formelles (correction de programmes, formalisation de théories mathématiques…) ou dont les recherches concernent des aspects fondamentaux des assistants à la preuve, notamment la théorie des types et sa sémantique.

Site Web :
https://lipn.univ-paris13.fr/love/

Contacts :
Frédérique Bassino
Directrice du LIPN
frederique.bassino@univ-paris13.fr

Damiano Mazza
Responsable de l’équipe LoVe
damiano.mazza@univ-paris13.fr

Poste d’enseignant·e chercheur·euse en combinatoire

Enseignement : Informatique – Département GEA – IUT de Saint-Denis
Recherche : équipe CALIN

Site de candidature :
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm

Description

Enseignement

Département ou filière d’enseignement :
Informatique – Département Gestion des entreprises et des administrations (GEA) – IUT de Saint-Denis

Lieu(x) d’exercice :
IUT de Saint-Denis, Place du 8 mai 1945, 93200 Saint-Denis

Description :
Le Bachelor Universitaire de Technologie en Gestion des Entreprises et Administrations (BUT GEA) est un diplôme national de niveau Bac +3 avec 4 spécialisations: comptabilité et finance, contrôle de gestion, ressources humaines et le management & entrepreneuriat.
Le ou la MCF recruté.e pourra intervenir dans ces 4 parcours et assurer les enseignements d’informatique du programme national du BUT GEA sous la forme de cours, TD et TP.

Pour les trois années de BUT les matières enseignées sont les suivantes (cf PN GEA).

  • les outils numériques de gestion: Découvrir des outils numériques et des applications dans un contexte professionnel et utiliser les fondamentaux du tableur
  • Le traitement numérique des données
  • Exploiter l’information Modéliser à l’aide de logiciels et aider à la décision
    • Modèle Conceptuel des Données
    • Lien avec Tableau Croisé Dynamique (TCD)
  • Algorithmique et programmation
    • Notions d’algorithmique
    • Programmation (Visual Basic for Application (VBA), etc.)
    • Macro (VBA) pour création tableaux de bord

Une partie du service de la personne recrutée prendra la forme d’une participation aux activités pédagogiques transversales (Situations d’Apprentissage et d’Evaluation) avec d’autres membres des équipes pédagogiques. Elle sera également amenée à accompagner les étudiant.e.s pour la réalisation de leurs rapports de stages et portefolios.

Site Web :
https://iutsd.univ-paris13.fr/departement/gestion-entreprises-administrations/

Contact :
Prénom et Nom : Chef(fe) de département GEA
Fonction : Chef(fe) de département GEA
Courriel : geadir.iutsd@univ-paris13.fr

Recherche

Unité de recherche :
Laboratoire d’Informatique de Paris Nord (UMR CNRS 7030)

Adresse :
99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

Description
Les recherches développées au Laboratoire d’Informatique de Paris-Nord (LIPN) sont organisées autour de cinq équipes et incluent l’apprentissage automatique, optimisation combinatoire, la conception et l’analyse de modèles combinatoires à l’interface de la physique et de l’algorithmique, les fondements du calcul et la vérification formelle des systèmes, le traitement automatique des langues et la représentation des connaissances. Le LIPN est un des laboratoires de la Fédération de Recherche MathSTIC qui outre le LIPN, regroupe le laboratoire de mathématiques de l’Université Sorbonne Paris Nord (LAGA) et le laboratoire de transport et traitement de l’information (L2TI).

L’équipe de combinatoire (CALIN) du LIPN couvre une partie importante de la combinatoire moderne (combinatoire analytique, algébrique et géométrique), et traite ses interactions avec l’algorithmique et la physique. C’est une équipe très dynamique : ses membres permanents (4 PR, 5 MCF, 5 CR CNRS) sont impliqués dans de multiples collaborations (inter) nationales et voient leurs résultats publiés dans des revues internationales de tout premier plan.

L’équipe CALIN souhaite recruter un maître de conférences en combinatoire qui travaille, idéalement à l’interface avec la géométrie, la topologie et/ou l’algorithmique. Les excellentes candidatures relevant plus largement de la combinatoire dans ses autres aspects et de ses interactions avec la physique ou l’informatique sont également vivement encouragées.

Site Web de l’équipe:
https://lipn.univ-paris13.fr/calin/

Contacts :
Prénom et Nom : Frédérique Bassino
Fonction : Directrice du LIPN
Courriel : frederique.bassino@univ-paris13.fr

Prénom et Nom : Lionel Pournin
Fonction : Responsable de l’équipe CALIN
Courriel : lionel.pournin@univ-paris13.fr

Poste d’enseignant·e chercheur·euse en optimisation combinatoire

Enseignement : Département informatique – Institut Galilée
Recherche : équipe AOC

Site de candidature :
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm

Description

Enseignement

Département ou filière d’enseignement :
Département informatique – Institut Galilée

Lieu(x) d’exercice :
Campus de Villetaneuse – Université Sorbonne Paris Nord

Description:
Le Département d’Informatique de l’Institut Galilée intervient dans diverses formations de l’Institut Galilée : licences, masters, EUR, classes préparatoires, école d’ingénieurs Sup-Galilée (statut étudiant et statut apprenti). La personne recrutée sera rattachée au département d’Informatique de l’Institut Galilée (https://galilee.univ-paris13.fr). Elle interviendra dans différents champs de l’informatique de tous niveaux et parcours des formations assurées par le département.

Le département a de nombreux besoins, notamment en administration systèmes, en Génie logiciel, en programmation orientée objet, en apprentissage, en bases de données avancées et en systèmes d’exploitation. La capacité à intervenir dans un ou plusieurs de ces domaines sera appréciée. Le département favorise le travail collégial au sein des équipes responsables des différents cycles et, plus généralement, entre ses membres. Il est attendu que la personne recrutée soit volontaire pour s’impliquer, à court terme, dans la gestion du département en prenant des responsabilités pédagogiques telles que la responsabilité de cours et/ou d’année et/ou l’accompagnement des étudiants.

Site Web :
https://galilee.univ-paris13.fr/

Contact :
Prénom et Nom : Kais Klai
Fonction : Président du département
Courriel : departement.informatique.galilee@univ-paris13.fr

Prénom et Nom : Nathalie Pernelle
Fonction : Vice-Présidente du département
Courriel : Nathalie.Pernelle@univ-paris13.fr

Recherche

Unité de recherche :
Laboratoire d’Informatique de Paris Nord (UMR CNRS 7030)

Adresse :
99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

Description :
Le Laboratoire d’Informatique de Paris-Nord (LIPN – CNRS UMR 7030) souhaite renforcer la recherche en Optimisation Combinatoire et Programmation Mathématique menée au sein de l’équipe Algorithmes et Optimisation Combinatoire (AOC) grâce au recrutement d’un·e Maître·sse de Conférences.

L’équipe AOC du LIPN aborde un large spectre de questions allant de la théorie à la pratique de l’optimisation combinatoire et de la recherche opérationnelle. Elle étudie les structures combinatoires des problèmes et développe des approches de résolution basées sur les polyèdres, l’optimisation dans les graphes et la programmation mathématique. L’équipe AOC s’intéresse également à l’implémentation de ces algorithmes pour des applications pratiques, notamment issues de l’industrie. L’équipe a développé des collaborations locales, régionales, nationales et internationales. Elle a de nombreuses collaborations industrielles.

Le profil recherché peut provenir de tout domaine de l’optimisation combinatoire et de la recherche opérationnelle en lien avec les thématiques de recherche de l’équipe AOC. Un profil s’intéressant à l’optimisation linéaire et non linéaire, les polyèdres ou les méthodes de décomposition sera particulièrement apprécié. Une expertise complémentaire sur d’autres thèmes sera la bienvenue, par exemple en optimisation sous incertitudes, complexité des problèmes, apprentissage pour l’optimisation, théorie de la décision ou théorie des graphes.

Site Web :
https://lipn.univ-paris13.fr/aoc/

Contacts :
Frédérique Bassino
Directrice du LIPN
bassino@lipn.univ-paris13.fr

Roberto Wolfler Calvo
Responsable de l’équipe AOC
wolfler@lipn.univ-paris13.fr

Poste d’enseignant·e chercheur·euse en apprentissage artificiel

Enseignement : Département informatique – Institut Galilée
Recherche : équipe A3

Site de candidature :
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm

Description

Enseignement

Département ou filière d’enseignement :
Département informatique – Institut Galilée

Lieu(x) d’exercice :
Campus de Villetaneuse – Université Sorbonne Paris Nord

Description :
Le Département d’Informatique de l’Institut Galilée intervient dans diverses formations de l’Institut Galilée : licences, masters, EUR, classes préparatoires, école d’ingénieurs Sup-Galilée (statut étudiant et statut apprenti). La personne recrutée sera rattachée au département d’Informatique de l’Institut Galilée. Elle interviendra dans différents champs de l’informatique de tous niveaux et parcours des formations assurées par le département.

Le département a de nombreux besoins, notamment en administration systèmes, en Génie logiciel, en programmation orientée objet, en apprentissage, en bases de données avancées et en systèmes d’exploitation. La capacité à intervenir dans un ou plusieurs de ces domaines sera appréciée. Le département favorise le travail collégial au sein des équipes responsables des différents cycles et, plus généralement, entre ses membres. Il est attendu que la personne recrutée soit volontaire pour s’impliquer, à court terme, dans la gestion du département en prenant des responsabilités pédagogiques telles que la responsabilité de cours et/ou d’année et/ou l’accompagnement des étudiants.

Site Web :
https://galilee.univ-paris13.fr/

Contacts :
Prénom et Nom : Kais Klai
Fonction : Président du département
Courriel : departement.informatique.galilee@univ-paris13.fr

Prénom et Nom : Nathalie Pernelle
Fonction : Vice-Présidente du département
Courriel : Nathalie.Pernelle@univ-paris13.fr

Recherche

Unité de recherche :
Laboratoire d’Informatique de Paris Nord (UMR CNRS 7030)

Adresse :
99 avenue Jean-Baptiste Clément, 93430 Villetaneuse

Description :
Le LIPN souhaite renforcer la recherche en apprentissage artificiel menée au sein de l’équipe Apprentissage Artificiel et Applications (A3). L’équipe A3 compte 2 PR, 11 MCF (dont 4 HdR) et 9 doctorants. Elle est structurée en 3 axes centrés sur de grandes problématiques complémentaires de l’apprentissage : Apprentissage à partir de Données & d’Apprenants (ADA), Apprentissage Relationnel & Graphes (ARG), Méta-apprentissage & Apprentissage de Structures (MAS). Chaque axe aborde à la fois des recherches à caractère fondamental ainsi qu’appliqué, soutenues par des projets collaboratifs académiques et industriels.

Les membres de l’équipe A3 publient dans des conférences et revues internationales de premier plan et s’impliquent fortement au niveau national et international dans l’animation de la communauté scientifique de l’apprentissage artificiel. L’équipe A3 est fortement impliquée dans la formation à la recherche au travers notamment, du parcours « Exploration Informatique des Données et Décisionnel (EID2) », du parcours international en «Data Science» avec l’USMBA, et des parcours «Mathématiques des données» et l’EUR M&CS.

Les candidatures relevant largement de l’apprentissage artificiel dans tous ses aspects et ses interactions avec la science des données sont vivement encouragées. Les thèmes de recherche de la personne recrutée devront comporter des aspects théoriques et applicatifs compatibles avec ceux déjà en place.

Site Web :
https://lipn.univ-paris13.fr/a3/

Contacts :
Frédérique Bassino
Directrice du LIPN
frederique.bassino@lipn.univ-paris13.fr

Aomar Osmani
Responsable de l’équipe A3
aomar.osmani@lipn.univ-paris13.fr