Offre de thèse au CRIL

Merci de diffuser largement auprès de vos étudiants cette offre de thèse :

Titre : Développement de cadres formels pour le raisonnement spatio-temporel

Objectifs de la thèse : définition et étude d’algorithmes permettant la résolution du problème de la satisfiabilité de certains fragments des logiques spatio-temporelles existants et définition et étude de nouveaux formalismes spatio-temporelles.

Descriptif détaillé consultable sur le site du CRIL : <http://www.cril.univ- artois.fr/spip.php?article373>

Début du financement : octobre 2013 (pour 3 ans)

Profil du candidat recherché : master recherche en informatique, intelligence artificielle ou logique.

Candidature à envoyer par mail à {salhi,condotta,mazure}@cril.fr avec les pièces suivantes: CV, lettre de motivation, notes et classement des 3 dernières années.