PhD Student in Logic and/or the Philosophy of Mathematics (FaTiLLaM Project) Université de Lorraine in France

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 UC Irvine, focusing on two main axes: the history of formalization from Thomas Aquinas to Richard Montague, and the systematic investigation of methods of formalization in interpreted formal languages, logics, and mathematical theories, including symbolic and neurosymbolic approaches to artificial intelligence.

The PhD topic is flexible 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 UC Irvine researchers. The Archives Poincaré offers a vibrant research environment, access to extensive archives (including Henri Poincaré’s correspondence and the Bourbaki collective), and facilities such as workspace, library, and electronic resources. The research wing is closely connected to the philosophy department and collaborates with mathematics, engineering, and economics departments at Lorraine and Strasbourg.

Applicants must hold a master’s degree in philosophy, mathematics, theoretical linguistics, theoretical computer science, or a related field. Preference is given to those with strong backgrounds in mathematical logic, philosophical logic, history of logic, formal semantics, and AI. There are no teaching requirements, but regular participation in seminars and scientific activities is expected. The position offers a gross monthly salary of approximately 2100 € for three years. The starting date is flexible, between September 2026 and January 2027.

To apply, submit a curriculum vitae (including publications) and a brief statement of research interests (up to 5 pages) outlining your 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.