Positions
Fully funded PhD position in "Axiomatic definitions. Criteria of adequacy and typologies of definitions in axiomatic theories of 19th and 20th centuries". Centre Gilles Gaston Granger, University of Aix-Marseille. Part of the ANR project AXDEF led by Paola Cantù. Deadline for application: 03 June 2024. Link for further information. Email for further inquiries: paola.cantu@univ-amu.fr. [expired]
Fully funded PhD position in PTS. Research group: Programming principles, Logic, and Verification, Department of Computer Science, University College of London (UK). Deadline for application: 13.00 UK Time (GMT) on 08 January 2024. Link 1 and link 2 for further information. [expired]
12 months Postdoc position in Rome on "Purity and Simplicity of Mathematical Proofs". University of Rome Tor Vergata. Supervisor: Gabriele Pulcini. Deadline for application: November 18, 2023. Web page for online applications (English version available): https://pica.cineca.it/uniroma2/f1-2023-0071/. Email for informal enquiries: gabriele.pulcini@uniroma2.it. [expired]
Assistant Professor (tenure track). Philosophy Department, University of Connecticut (USA). Deadline for application: October 16, 2023. Position starting from: August 23, 2024. Link for further information. [expired]