Logic List Mailing Archive

Tenured position as lecturer (maitre de conference) in automated reasoning, Toulouse (France)

Un poste de Matre de Confrences en Informatique est mis au concours 2014 
 l'Universit Toulouse 3 - laboratoire IRIT - Equipes ADRIA et LILaC 
(poste 27 MCF 1982). Le profil est intitul :

"Raisonnement automatique - Algorithmique-Programmation"

Thmatique recherche :  Intelligence artificielle, raisonnement 
automatique, reprsentation des connaissances. Contacts : 
Andreas.Herzig@irit.fr

Thmatique enseignement : Algorithmique, programmation. Contact : 
Alain.Crouzil@irit.fr

La description complte du poste est disponible sur : http://www.irit.fr

Pour plus de dtail sur les quipes ADRIA et LILaC : 
http://www.irit.fr/-Equipe-ADRIA-, http://www.irit.fr/-Equipe-LILaC-