1 formal-verification-computer-science Postdoctoral positions at CNRS

Sort by

listed

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for formal-verification-computer-science positions

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

holding a PhD in computer science or artificial intelligence, with a strong taste for formal modelling. Experience in several of the following areas will be particularly appreciated: symbolic AI (planning

Searches related to formal verification computer science

Enter an email to receive alerts for formal-verification-computer-science positions