2 software-formal-method-phd "https:" PhD positions at CNRS

PhD Candidate (M/F): Engineering sciences (process engineering, thermodynamics). Automatic design of thermodynamic cycles for the energy transition.

CNRS | Nancy, Lorraine | France | 7 days ago

: LRGP (University of Lorraine – CNRS), LPSM (Sorbonne University – CNRS), the utility EDF R&D, and the process simulation software provider Fives ProSim. PHD DESCRIPTION: The PhD is part of Work Package 3

PhD thesis on the formalization and integration of well-being into recommendation algorithms (M/F)

CNRS | Saint Martin, Midi Pyrenees | France | 28 days ago

. Research within LIG is organized into 5 focus areas: Intelligent Systems for Bridging Data, Knowledge and Humans, Software and Information System Engineering, Formal Methods, Models, and Languages