4 formal-method-phd positions at CNRS

Sort by: relevance | listed |

Enter an email to receive alerts for formal-method-phd positions

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

CNRS | Saint Martin, Midi Pyrenees | France | 3 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
M/F Postdoc in the theory of quantum programming languages at IRIF

CNRS | Paris 13, le de France | France | about 2 months ago

• Supervision of interns, collaboration with PhD students The team investigates logical foundations and formal methods for quantum programming languages leveraging on a strong expertise in linear logic, lambda
Doctoral position, M/F, Philosophy of Science, Nancy, France. Explanatory progress and degrees of understanding

CNRS | Nancy, Lorraine | France | 18 days ago

through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The PhD will be completed
Postdoctoral fellow in Science Education and well-being psychology (M/F)

CNRS | Saint Martin, Midi Pyrenees | France | about 1 month ago

engineering; Formal methods, models, and languages; Interactive and cognitive systems; Distributed systems, parallel computing, and networks. The successful candidate will work closely with teams specializing

Enter an email to receive alerts for formal-method-phd positions