Dear Logicians, >From October 2025 on, there are 2-3 PhD / Postdoc positions available in the >Mathematical Logic Group at Würzburg, Germany. (It is possible to start a bit >earlier or up to a year later -- please apply now even if you want to start >later.) I would be very grateful if you would share this message with students >/ young researchers who may be interested!
Topics: The focus of my group is on ordinal analysis and reverse mathematics, but our work also connects with computability, set and model theory. For a PhD project, we will together identify a topic that is reasonably close to my core expertise; postdocs are welcome to work on other topics of their choice, as long as there is some potential for joint work. To get an impression of our research, you can look at (the introductions of) https://prooftheory.blog/2020/06/03/from-cut-elimination-to-reverse-mathematics/ and https://doi.org/10.1016/j.aim.2022..108265<https://doi.org/10.1016/j.aim.2022.108265> and https://doi.org/10.1090/tran/8966. Group: We value diversity and are looking forward to the contributions of new group members! Currently, we run a colloquium with external speakers and a reading group, in addition to many informal interactions over lunch, etc. We also hold regular workshops with logic groups from other universities, which makes us part of a larger network. Positions: All positions are funded for three years, as 75-%-positions for PhD students or 100-%-positions for postdocs. (Please ask if you have questions about the percentages or other aspects of the German employment system.) They come with a very moderate teaching load of about 2 hours (= one exercise course) per week. We conduct our research in English and no German language skills are required, though they make it easier for me to distribute the teaching. Application: You are very welcome to contact me informally first. For a formal application, please send me the following by email (anton.fre...@uni-wuerzburg.de<mailto:anton.fre...@uni-wuerzburg.de>) until 25 April 2025: (1) a letter of motivation (in particular to explain why you are interested in / see connections with the work of my group); (2) a curriculum vitae (including a list of publications, talks and past teaching); (3) the latest diploma available (Bachelor, Master and / or PhD), with a list of courses / grades; (4) one mathematical text that you have written (paper / preprint / thesis chapter; if you choose a co-authored text, please briefly specify your contribution with respect to both research and writing); (5) a letter of reference (e.g. by the supervisor of your Master / PhD thesis). Selected applicants will be invited for (zoom) interviews in early May. (Let me note that there is no standardized employment process by the university, though I'm very committed to making the process transparent and fair.) If you have any questions, you are very welcome to get in touch (anton..fre...@uni-wuerzburg.de<mailto:anton..fre...@uni-wuerzburg.de>). I'm looking forward to hearing from you! Best wishes, Anton Freund -- https://www.mathematik.uni-wuerzburg.de/en/mathematicallogic/team/freund-anton-prof-dr/ -- [LOGIC] mailing list, provided by DLMPST More information (including information about subscription management) can be found here: http://dlmpst.org/pages/logic-list.php
