1 software-formal-method-phd positions at IMT MINES ALES

CONTRIBUTION A LA MODELISATION & SIMULATION ASSISTEE PAR IA DES PROCESSUS, ORGANISATIONS ET FLUX DE DONNEES DANS LE CADRE DES ACTIVITES DE MAINTIEN EN CONDITIONS OPERATIONNELLES D'UN PARC ELECTRO NUCLEAIRE // CONTRIBUTION TO AI-ASSISTED MODELING AND SIMUL

IMT MINES ALES | Ales, Languedoc Roussillon | France | 3 days ago

engineering and systems‑of‑systems approaches, including MBSE; _Process or system modelling (BPMN, UML, SysML, or related formalisms); _Knowledge of decision modelling, simulation, or decision‑support methods