3 formal-methods PhD positions at CNRS in france

PhD student, Towards Scalable Formal Explainability: Lite Explanations and Guided Approximations (M/F)

CNRS | Villetaneuse, le de France | France | 13 days ago

University, is recognized for its expertise in artificial intelligence and formal methods In this stimulating academic context, we will focus on the problem of explainability of artificial intelligence models

PhD Position: Designing Mixed Reality Environments for Memory Work (M/F)

CNRS | Compiegne, Picardie | France | 1 day ago

students' historical reasoning in non-formal settings. Interactive Learning Environments Hageneuer, S. (2020). Communicating Past in the Digital Age. In Intern. Conf. on Digital Methods in Teaching and

Participatory Science and Mountain risks (M/F) (PHD)

CNRS | Thiais, le de France | France | 8 days ago

Alpes, the program aims to formalize a new science of risk in order to contribute to the development of a national strategy for disaster and risk management in the context of global change. The PhD