4 formal-method Postdoctoral positions at CNRS

Postdoctoral position (M/F) - Formal modelling and composition of interactive narratives under a constraint of narrative restraint in mixed reality

CNRS | Compiegne, Picardie | France | 3 months ago

, automated reasoning, constraint or answer-set programming (ASP), rule-based systems); knowledge representation (ontologies, knowledge graphs, state machines); formal methods and verification (model checking

Post-doc position: Factoring linear differential operators using p-adic techniques (M/F)

CNRS | Palaiseau, le de France | France | 2 months ago

been proposed: traditional computer‑algebra methods [3], reduction of the problem modulo a prime p [6, 2], and symbolic‑numeric methods [4, 1]. This postdoc proposal concerns the second modular approach

Postdoctoral position (M/F) - Cognitive assessment of distanced immersion: mechanisms of historical understanding in memorial mixed reality

CNRS | Compiegne, Picardie | France | 3 months ago

verbalization and require specific observation methods. The postdoctoral work will pursue three complementary objectives: - Contribute to the theoretical formalization of the cognitive and affective mechanisms

Postdoctoral Researcher in "War and Peace" (M/F)

CNRS | Paris 07, le de France | France | 3 months ago

at peace—through the analysis of chronic conflicts, daily or structural violence masked by formal peace agreements, or practices that straddle the internal/external security dichotomy. Militarization