Teaching: Computer Science department – IUT Villetaneuse
Research: LoVe team, Verification axis
Website for applying:
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_recrutement_enseignants_chercheurs.htm
Description
Teaching
Computer Science Department
Address:
IUT de Villetaneuse – Université Sorbonne Paris Nord
Job description:
The successful candidate will be required to teach computer science, particularly in the field of systems and networks in BUT (Bachelor Universitaire de Technologie) in the computer science department and in BUT in the R&T department as well as in the Professional License (LP MRIT) at the R&T department of the IUT of Sorbonne Paris Nord University.
The teaching content of BUT follows national educational programs.
The needs relate to teaching in computer networks and operating systems, as well as computer systems administration.
The successful candidate is expected to participate and invest in the collective life of the department. In particular, in the short/medium term, the lecturer will be asked to participate in the organization of SAEs (SAé – Learning and Evaluation Situations) and other teaching responsibilities.
Contacts:
First and last name: Aomar Osmani
Email: aomar.osmani@univ-paris13.fr
First and last name: Yasniba Amsal
Email: Yasmina.Amsal@univ-paris13.fr
Research
Research Unit:
Laboratoire d’Informatique de Paris Nord (UMR CNRS 7030)
Description:
The Paris-Nord Computer Science Laboratory (LIPN – CNRS UMR 7030) wishes to strengthen the Verification axis of the LoVe team by recruiting a Lecturer. The Verification axis works on the formal verification for the safety and security of systems. The formal considered models are varied (Petri nets, timed and/or parameterized automata, rewriting logic, etc.) as are the logics expressing their properties (LTL, CTL, TCTL, ATL, etc.) thus taking into account several perspectives of the studied systems. The objective is to push the limits of model checking by proposing different and complementary state space reduction approaches (symbolic structures, modularity, partial order, parallelization, etc.). The adaptation and application of the proposed approaches to particular areas (security, cyberphysical systems, business processes, blockchain, etc.) also constitutes an important objective of the Verification axis.
The expertise of the hired person and his/her research project must be integrated into the work of the team. The recruited person is expected to be willing to work in a team on short and long term scientific issues.
Web site:
https://lipn.univ-paris13.fr/love/
Contacts:
Frédérique Bassino
LIPN Director
frederique.bassino@univ-paris13.fr
Kais Klai
Formal Verification Research Team Leader
kais.klai@univ-paris13.fr