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