3 formal-semantics 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 | about 2 months 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

PhD Position: Conversational AI for Sustainable Agriculture: Natural Language Interfaces over Robotic and Analytical Farming Systems

CNRS | Lyon, Rhone Alpes | France | 3 months ago

, including future farmers, to leverage the full potential of precision agriculture. Moreover, LLMs can assist in semantic interpretation of diverse agricultural data sources. For instance, they can analyze

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

CNRS | Nancy, Lorraine | France | about 1 month ago

superstructure combining cycles from the literature and cycles generated by AI models. -- Use of process representation formalisms (graphs, SFILES) and process synthesis tools. - Solving the “Product Design