Logic List Mailing Archive

Postdoctoral position (1y) in the Geometry of Algorithms, Paris (France), Deadline: 15 Jun 2021

Dear colleagues,

The project "GoA: The Geometry of Algorithms", 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:

https://emploi.cnrs.fr/Offres/CDD/UMR8590-ALBNAI-001/Default.aspx?lang=EN

Applications must be submitted through the CNRS Job Portal 
(https://emploi.cnrs.fr). The deadline is the 15th of June 2021.
For any further information, please, email Alberto Naibo at the following 
address: alberto.naibo@univ-paris1.fr[1]
 
Please, do not hesitate to relay the information to any suitable candidate.

Best wishes,
Alberto Naibo
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam