Kai Wehmeier

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.

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.