PhD student in computer science: set-theoretic types for dynamic languages (M/F)

PhD student in computer science: set-theoretic types for dynamic languages (M/F) CNRS - National Center for Scientific Research Computer scienceMathematics » Algorithms The recruited person will work at the Institut de Recherche en Informatique Fondamentale (IRIF, UMR 8243, CNRS and Université Paris Cité), Bâtiment Sophie Germain, 8 place Aurélie Nemours, 75013 Paris, in the "Proofs, programs and systems" research pole. The thesis will be supervised by Giuseppe...