jgflores

General profile : Computer Science
Job profile :Machine Learning and Data Science
Research field : Artificial Intelligence
Département ou filière d’enseignement : Département Informatique de l’Institut Galilée
Lieu d’exercice : Institut Galilée – Université Sorbonne Paris Nord – Campus Villetaneuse

Contact :
Kais Klai , Président du département, kais.klai@lipn.univ-paris13.fr
Nathalie Pernelle, Vice-Présidente du département, Nathalie.Pernelle@univ-paris13.fr

Description :

The lecturer recruited will join the teaching team of the Computer Science Department of the Institut Galilée at Université Sorbonne Paris Nord. The Computer Science Department is
involved in various courses at the Institut Galilée : Licence Informatique, Double Licence in
Mathematics and Computer Science, CP2I preparatory classes, Sup-Galilée engineering
school, Masters in Computer Science and the Graduate School ( École Universitaire de Recherche ) M&CS. The person recruited will be involved in various fields of computer science
at all levels, but particularly in the Master 2 Computer Science speciality EID2 (Exploration
Informatique des Données et Décisionnel). The priority needs of the department are in
Machine Learning and Data Science (in Master 2), as well as System Administration (in L2 and
M1). He/she will also be able to reinforce the teams in the following subjects Databases, Logic,
Language Theory/Compilation, OOP and in the basic subjects taught in the bachelor’s degree
or in CP2I.
It is expected that the person recruited will be willing to get involved in the management of
the department by taking on pedagogical responsibilities such as course responsibility and
eventually year responsibility.

Research :

Laboratory : Laboratoire d’Informatique de Paris Nord (LIPN) CNRS UMR 7030
Location : Campus de Villetaneuse
Contact : Frédérique Bassino, Directrice du LIPN, Frederique.Bassino@lipn.univ-paris13.fr
Research team : Apprentissage Artificiel et Applications (A3)
Contact :
Younès Bennani, Pôle ADA, Younes.Bennani@lipn.univ-paris13.fr
Aomar Osmani, Pôle MAARS, Aomar.Osmani@lipn.univ-paris13.fr

Description :
The Laboratoire d’Informatique de Paris-Nord (LIPN – CNRS UMR 7030) wishes to strengthen
the research in Machine Learning and Data Science carried out within the “Apprentissage
Artificiel et Applications” (A3) team through the recruitment of an associate professor.
The A3 team includes 2 full professors, 11 associated professors (including 4 HdR) and 12 PhD
students. It is structured in two axes focused on major complementary areas of machine
Learning:

• ADA axis (Learning from Data and Learners),
• MAARS axis (Meta Learning and Learning from Structured Representations).

Each axis deals with both fundamental research and applied research, supported by academic
and industrial collaborative projects. It is one of the largest academic teams on the theme of
Machine Learning in France. It is remarkable for the breadth of its spectrum of skills, ranging
from statistical learning to relational learning and reinforcement learning. This characteristic
allows for tackling complex problems with several points of view and tools, altogether
theoretical, methodological, and algorithmic. The A3 team is strongly involved at the national
and international level in the animation of the scientific community of Machine Learning and Data Science, in particular in the organization of special sessions and program committees in
leading international conferences (AAAI, ECAI, ECML PKDD, IJCAI, ICPRAM, ICONIP, IJCNN, …).
The A3 team is involved in many projects, of various types (PIA, ANR, Institut National du
Cancer, etc.). These projects allow for assessing the validity of the proposed learning models
and raise new scientific questions that renew the research themes.

The A3 team is strongly involved in research training through

• the “Data Science & Machine Learning (EID2) ” curriculum, which has been ranked among the best in the field for several years and the international double degree curriculum in “Data Science” with the USMBA of the Computer Science Master,
• the “Mathematics of Data” curriculum of the Mathematics Master,
• and the Graduate School M&CS curriculum.

Candidates with a strong interest in all aspects of artificial learning and its interaction with data science are strongly encouraged to apply. The person recruited will be part of the A3 team. The research themes of the person recruited will have to include theoretical and applicative aspects compatible with those already in place.

General profile : Computer Science
Job profile: Logic, programming, complexity
Research fields : Programming languages theory (syntax and semantics), complexity, proof
assistants and types theory.

Teaching

Department: Networks and Telecommunications
Location: IUT de Villetaneuse – Villetaneuse Campus
Contact: Yamina Amzal, Head of the R&T department, yamina.amzal@univ-paris13.fr

Description:The Networks and Telecommunications department (R&T) seeks to recruit an associate professor in the area of computer systems and networks. The R&T department gathers 200 students in its curricula: BUT R&T in classical and apprenticeship modalities, and Professional Bachelor in Computer Networks and Telecommunications (LP MRIT). The candidate will join a dynamic team and will be involved in the different curricula proposed by the department by lecturing, giving exercise courses and practicals. S/he will benefit from the numerous teaching documents and detailed exercises provided by the teaching staff. The person recruited will teach computer systems and networks courses, in particular:

• System administration (Linux, Windows)
• Computer networks: basic notions, Ethernet, static and dynamic routing, DNS, etc.

Additional skills or interest in more advanced areas of computer networks or cybersecurity will be
greatly appreciated: networks supervision; networks security infrastructure; attack techniques and
intrusion detection; cyphering.
The person recruited will also take part in the professional supervision (internships, apprenticeships),
pedagogic coordination of courses, and with time will take responsibility of a curriculum.

Research

Laboratory: Laboratoire d’Informatique de Paris Nord (LIPN) – CNRS UMR 7030
Location : Villetaneuse campus
Contact : Frédérique Bassino, Director of LIPN – Frederique.Bassino@lipn.univ-paris13.fr
Research team : Logic and Verification (LoVe)
Contact : Damiano Mazza, Head of the LoVe team, Damiano.Mazza@lipn.univ-paris13.fr

Description:The LIPN seeks to hire a Maître‧sse de Conférences (Associate Professor) to strengthen the logic group in its Logic and Verification team (LoVe). The team presently consists of 25 permanent members and is structured in two research groups:

• Logic, programming theory and complexity;
• Specification and verification of modular and distributed systems.

This position concerns the first group, which currently comprises 3 PR (Full Professors), 6 MCF (Associate Professors), 1 DR (Senior Researcher), 3 CR (Researchers) and 1 IR (Research Engineer) shared with the second group, as well as 2 post-docs and 8 Ph.D. students, plus 2 additional Ph.D‧ students jointly advised with other labs.

At the national level, the group participate in the activities of the GDR IM (GT Scalp and GT LHC) and the GDR GPL (GT LTP) and has ties with several laboratories in computer science (IRIF, LIX, LIP, LIS,LS2N, LORIA…), mathematics (LAGA in the context of the MathSTIC Federation, I2M, LAMA) and philosophy (IHPST, IRPhiL).

At the international level, the group has stable ties (CNRS International Research Networks) or individual collaborations with several countries (Italy, Denmark, United Kingdom, Estonia, Netherlands, United States…) and has been principal organizer of recent scientific events such as conferences (FSCD 2020, ETAPS 2023) or research schools (Caleidoscope 2019, EPIT 2023…). At present, 2 ANR research grants are led by members of the group, and the group is partner of 2 additional ANR projects.
We seek a MCF (Associate Professor) capable of contributing to the following topics:

• Programming languages theory: The applicant will develop their research in one of the group’s internationally recognized domains of expertise (linear logic, lambda-calculus, denotational semantics). Additional experience or interest in contemporary topics will be especially appreciated, such as probabilistic programming language semantics or differentiable programming, as well as category theory and its applications to computer science, with the goal of strengthening the group’s specificities on these topics.
• Complexity: Historically the group has an internationally recognized expertise in quantitative program analysis, especially in implicit computational complexity and quantitative type systems. The group’s research has recently branched out towards the application of “semantic” techniques (realizability, dynamical systems, categorical logic) to traditional fields of computational complexity, such as algebraic complexity and descriptive complexity. We seek applicants able to contribute to any one of these topics, pointing out that they will benefit from the “Complexity” group that has recently been created at LIPN, a transversal research group that fosters interactions between members of other teams of the laboratory working on complexity-related topics (the combinatorics team and the combinatorial optimization team).
• Proof assistants and type theory: This topic is not among the main ones of the team, but it is nevertheless potentially federative and likely to stimulate interactions between its members. We seek either applicants with experience in the formalization of proofs of various kinds (program correctness, formalization of mathematical theories…), or applicants who do not work directly with formal proofs but whose research concerns fundamental aspects of proof assistants, in particular type theory and ist semantics.