1 formal-methods "https:" PhD positions at CNRS

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

CNRS | Saint Martin, Midi Pyrenees | France | 5 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