Post-doc position on Discrete Event Systems, at LIS, Marseille, France / 6 months in 2023

Type de recrutement
LIS (Laboratoire d'Informatique et Systèmes) - UMR 7020
Fin de l'affichage

Context and objectives: The APPRENTIS project, "Optimization of mobile surveillance and intervention resources on a high-risk site by means of a functional approach and artificial intelligence", concerns the safety of industrial or port sites presenting risks, in particular sites of the SEVESO high threshold status. The operational objective is to propose a decision support software tool to plan surveillance and intervention missions. This tool will minimize the cost of configuring and implementing missions carried out by mobile agents (drones or automated vehicles).
In this general context, one of the tasks concerns the representation of the problem and its formalization by tools related to discrete event systems (DES). In addition, the modelling will combine DES tools (automata or Petri nets) and AI tools (neural networks, Bayesian networks) in order to model the infrastructure to be monitored, the set of measurements to be taken (in the context of monitoring) or the operations to be carried out (in the context of intervention) and the functional, operational and temporal specifications of the missions. The DES tools need to provide an abstraction of precedence constraints and infrastructure, in order to take into account the real characteristics of the mobile agents.

The candidate will contribute to the achievement of the project objectives by working in close collaboration with the project partners (GREAH / Univ. Le Havre Normandie, IMT Lille Douais and LURPA / ENS Paris-Saclay).

Profile: The candidate must have a PhD with a background in discrete event systems and strong programming skills (Matlab, C++, Python, ...).

Starting date expected: January / February 2023.

Duration: 6 months.

Research affiliation: LIS (Computer Science and Systems Laboratory), team MoFED (Discrete Event Models and Formalisms).

Location: Marseille (France).

Keywords: Discrete event systems, modelling, event-driven simulation.

Application: Send a CV and a cover letter to before November 10, 2022.