Twenty months Post-doc Fellowship in the context of the ANR-DFG research
program FORMALISM, FORMALISATION, INTUITION AND UNDERSTANDING IN
MATHEMATICS (FFIUM),
  Partners : —   Archives Henri-Poincaré - Philosophie et Recherches sur
les Sciences et les Technologies, Nancy (UMR 7117, http://poincare.univ-lorraine.fr/ <http://poincare.univ-lorraine.fr/> ), —   Institut
d'Histoire et de Philosophie des Sciences, Paris (UMR 8590, http://www-ihpst.univ-paris1.fr/ <http://www-ihpst.univ-paris1.fr/> ), —   Munich
Center for Mathematical Philosophy (http://www.mcmp.philosophie.uni-muenchen.de/index.html)
    We invite applications for a postdoctoral fellowship for 20 months
(October 1st 2018 to May 31th 2020) in the context of the French side of
the project mentioned above.  

The project investigates the interplay between informal mathematical
theories and their formalization, and the different forms of mathematical
understanding that are generated by the process of formalization, with
particular to mathematical practice. The directive lines of the project are
available here:  https://sites.google.com/view/ffium/accueil
    The successful candidate is expected to contribute to the realization
of the project and to reside in Nancy or Paris during the whole of her/his
grant, by being affiliated to the Archives Henri-Poincaré or the Institut
d'Histoire et de Philosophie des Sciences.   The grant amount (about
1600-1800€/month after taxes) is set by French regulations.   We
encourage to apply young scholars having received their doctoral degree in
the last 5 years in the domain of philosophy of mathematics and related
areas, with a proven potential to conduct and publish research at a level
of international excellence.   Applications should include: •          A
(brief) letter of application including personal information academic
background, research interests, and motivations for working within the
project, with the indication of which aspects of it the candidate would be
able to contribute. •          A CV including a list of publications,
talks, conferences attended and teaching experience. •          One or
two recommendation letters from a recognised scholar in the field.   This
material is to be sent by e-mail to -       Gerhard Heinzmann <gerhard.heinzmann@univ-lorraine.fr>
-       Marco Panza <marco.panza@univ-paris1.fr> - 
     Marianna Antonutti Marfori <marianna.antonutti@gmail.com"
target="_blank">http://marianna.antonutti@gmail.com>
before April 30th 2018 at midnight (French time). Decisions will be made by
May 31th, 2018.