Postdoctoral Research AssistantTeam Logic, Computation and Programmings Supervised by Luc PélissierOffice: P2-211Email: aurore.alcolei@lacl.frPhone +33: 1 45 17 16 50Fax +33: