Teaching: Computer science – GEA department – IUT de Saint Denis
Research: LoVe team, Logic axis
Website for applying:
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm
Description
Teaching
Department:
Computer science – GEA department (Gestion des entreprises et des administrations) – IUT de Saint Denis
Address:
IUT de Saint-Denis, Place du 8 mai 1945, 93200 Saint-Denis
Job description:
The Bachelor of Technology in business and administration management (BUT GEA) is a national diploma at Bac +3 level with 4 specializations: accounting and finance, management control, human resources and management & entrepreneurship.
The recruited Associate Professor (MCF) shall contribute to all four specializations and teach in computer science for the national BUT GEA program through lectures, tutorials, and practical work.
Over the three years of the BUT program, the following subjects are taught (cf PN GEA):
- Digital management tools: Discovering digital tools and applications in a professional context and using the fundamentals of spreadsheets.
- Digital data processing
- Information exploitation: Modeling using software and assisting in decision-making
- Conceptual Data Model
- Link with Pivot Table (TCD)
- Algorithms and programming.
- Algorithmic concepts.
- Programming (Visual Basic for Application (VBA), etc.).
- Macros (VBA) for creating dashboards.
A part of the recruited person’s duties will involve participating in cross-disciplinary pedagogical activities (Learning and Evaluation Situations) with other members of the teaching teams. The recruited person will also be required to support students in the completion of their internship reports and portfolios.
Website:
https://iutsd.univ-paris13.fr/departement/gestion-entreprises-administrations/
Contacts:
First and last name : Chef(fe) de département GEA
Position : Chef(fe) de département GEA
Email: geadir.iutsd@univ-paris13.fr
Research
Research Unit:
Laboratoire d’Informatique de Paris Nord (UMR CNRS 7030)
Description:
LIPN is hiring a maître or maitresse de conférence (Associate Professor) in the logic group within the Logic and Verification team. At the national level, the group has ties with the French theoretical computer science community (Paris region, Lyon, Marseille, Chambéry…). At the international level, the group is part of International Research Labs with Italy and Denmark, and is invested in the organization of large scientific events (Caleidoscope 2019, FSCD 2020, EPIT 2023).
We seek a MCF who may contribute to one of the following research topics:
- Theory of programming languages: any research topic in which the expertise of the group is internationally recognized (linear logic, lambda-calculus, denotational semantics). Additional expertise and interest in the following topics will be appreciated: semantics of probabilistic or differentiable programming languages, category theory and its applications to computer science, complexity and quantitative program analysis.
- Proof assistants and type theory: albeit not a central theme in the group, this topic may be reinforced by a MCF with direct experience in formal proofs (program correctness, formalization of mathematical theories…) or with expertise in the foundations of proof assistants, such as type theory and its semantics.
Web site:
https://lipn.univ-paris13.fr/love/
Contacts:
Frédérique Bassino
LIPN Director
frederique.bassino@univ-paris13.fr
Damiano Mazza
Leader of the LoVe research team
damiano.mazza@univ-paris13.fr