Post-doc at IRIF in topology/algebra/categories and logic, Paris (France)

A 12-month post-doctoral position in topology, algebra, categories and logic is available at the CNRS, located at the research institute IRIF of CNRS and Université Paris Cité.  Expected start date: 1 September 2024 (negotiable). The position is financed by the ANR (French National Research Agency) project Topology for Types and Terms, coordinated by Sam van Gool. Any candidate with a PhD in mathematics or computer science and a scientific interest in the project's topics is encouraged to apply.