Logic List Mailing Archive

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

Un poste de Ma�tre de Conf�rences 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"

Th�matique recherche :  Intelligence artificielle, raisonnement 
automatique, repr�sentation des connaissances. Contacts : 
Andreas.Herzig@irit.fr

Th�matique enseignement : Algorithmique, programmation. Contact : 
Alain.Crouzil@irit.fr

La description compl�te du poste est disponible sur : http://www.irit.fr

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