CNRS Contrat Doctoral

The Université de Lorraine invites applications for a fully funded 3-year PhD position in logic and/or the philosophy of mathematics, as part of the FaTiLLaM project (Formalization as Translation in Logic, Language, and Mathematics). The successful candidate will join the Archives Poincaré in Nancy, France, one of the world’s leading centers for the history and philosophy of science, and will be co-supervised by Professor Andrew Arana (Université de Lorraine) and Professor Kai Wehmeier (University of California, Irvine).

The FaTiLLaM project is a five-year joint research initiative funded by CNRS, Université de Lorraine, and University of California, Irvine, and carried out by the Archives Henri-Poincaré and the Center for the Advancement of Logic, its Philosophy, History, and Applications (C-ALPHA) at UCI. The project focuses on two principal axes: (1) the history of formalization from Thomas Aquinas to Richard Montague, and (2) the systematic investigation of methods of formalization in the comparison of interpreted formal languages, logics, and mathematical theories, including symbolic and neurosymbolic approaches to artificial intelligence.

The PhD topic is open within these axes, allowing candidates to pursue research in areas such as mathematical logic, philosophical logic, history of logic, formal semantics (e.g., Montague Grammar), and artificial intelligence. The student will be based at the Archives Poincaré in Nancy, with annual visits to UC Irvine and reciprocal visits from UCI researchers. The research environment offers access to extensive archives, library and electronic resources, and participation in collective scientific activities. There are no teaching requirements.

Applicants must hold a master’s degree in philosophy, mathematics, theoretical linguistics, theoretical computer science, or a related field. Preference will be given to those with strong backgrounds in mathematical logic, philosophical logic, history of logic, formal semantics, and AI. The position offers a gross monthly salary of approximately 2100 € for three years, with funding provided by CNRS, Université de Lorraine, and UCI.

To apply, submit a curriculum vitae (including publications) and a brief statement of research interests (up to 5 pages) outlining the proposed research project. The application deadline is 24 May 2026. For further information, contact Professor Andrew Arana ([email protected]) or Professor Kai Wehmeier ([email protected]).

Apply directly via the provided application link. The position offers a unique opportunity to engage in interdisciplinary research at the intersection of logic, philosophy, mathematics, linguistics, and artificial intelligence, within a vibrant international collaboration.