Postdoctoral Research AssistantTeam Logic, Computation and Programmings Supervised by Julien CervelleOffice: P2-223 Email: Phone +33: 1 45 17 14 75Fax +33: