1 formal-verification 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