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).