POST-DOC Position in BORDEAUX
Subject: Recognizability, Lambda-calculus, Higher-order languages
Period: Sept. 1st 2011 - Feb. 28th 2013
You will find here here a description of the subject, the material conditions, the application process, etc ...(in pdf format).