Postdoctoral research position (12 months) - ANR project GoA: The Geometry of Algorithms

The project "GoA: The Geometry of Algorithm", based at the Institute for History and Philosophy of Sciences and Technologies (IHPST) in Paris, is seeking to hire a postdoctoral researcher for 12 months. The project is led by Alberto Naibo and funded by the ANR (Agence Nationale de la Recherche). 

The project investigates the epistemological and ontological foundations of the notion of algorithm. The ideal candidate will have a strong background in philosophy of formal sciences or computability theory. Advanced training in formal logic, especially proof theory, is particularly welcome.
A more detailed description of the project and the full call for applications can be found here:

Applications must be submitted through the CNRS Job Portal ( The deadline is the 15th of June 2021.

For any further information, please, email Alberto Naibo.