PhD and Postdoc positions in Mathematical Lo gic at Würzburg
Anton Freund <[email protected]> Wed, 19 Mar 2025 13:53:15 +0000
| Newsgroups | gmane.science.mathematics.fom,gmane.science.mathematics.prooftheory |
|---|---|
| Message-ID | <[email protected]> |
--_000_6480d28060b64d13ba8c2de1d3302e14uniwuerzburgde_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable Dear Logicians, From October 2025 on, there are 2-3 PhD / Postdoc positions available in th= e Mathematical Logic Group at W=FCrzburg, Germany. (It is possible to start= a bit earlier or up to a year later -- please apply now even if you want t= o start later.) I would be very grateful if you would share this message wi= th students / young researchers who may be interested! Topics: The focus of my group is on ordinal analysis and reverse mathematic= s, 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 impre= ssion of our research, you can look at (the introductions of) https://proof= theory.blog/2020/06/03/from-cut-elimination-to-reverse-mathematics/ and htt= ps://doi.org/10.1016/j.aim.2022.108265 and https://doi.org/10.1090/tran/896= 6. Group: We value diversity and are looking forward to the contributions of n= ew 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 ques= tions about the percentages or other aspects of the German employment syste= m.) They come with a very moderate teaching load of about 2 hours (=3D 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 distrib= ute the teaching. Application: You are very welcome to contact me informally first. For a for= mal application, please send me the following by email (anton.freund@uni-wu= erzburg.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 te= aching); (3) the latest diploma available (Bachelor, Master and / or PhD), with a li= st 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 cont= ribution with respect to both research and writing); (5) a letter of reference (e.g. by the supervisor of your Master / PhD thes= is). Selected applicants will be invited for (zoom) interviews in early May. (Le= t me note that there is no standardized employment process by the universit= y, 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.freu= [email protected]). I'm looking forward to hearing from you! Best wishes, Anton Freund -- https://www.mathematik.uni-wuerzburg.de/en/mathematicallogic/team/freund-an= ton-prof-dr/ --_000_6480d28060b64d13ba8c2de1d3302e14uniwuerzburgde_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable <html> <head> <meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3Diso-8859-= 1"> <style type=3D"text/css" style=3D"display:none;"><!-- P {margin-top:0;margi= n-bottom:0;} --></style> </head> <body dir=3D"ltr"> <div id=3D"divtagdefaultwrapper" style=3D"font-size: 12pt; color: rgb(0, 0,= 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, "Apple Co= lor Emoji", "Segoe UI Emoji", NotoColorEmoji, "Segoe UI= Symbol", "Android Emoji", EmojiSymbols;" dir=3D"ltr"> <p>Dear Logicians,</p> <div style=3D"color: rgb(0, 0, 0);"> <div> <div id=3D"divtagdefaultwrapper" dir=3D"ltr" style=3D"font-size: 12pt; colo= r: rgb(0, 0, 0); font-family: Calibri, Helvetica, sans-serif, EmojiFont, &q= uot;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, &q= uot;Segoe UI Symbol", "Android Emoji", EmojiSymbols;"> <div style=3D"font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Appl= e Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe U= I Symbol","Android Emoji",EmojiSymbols; font-size:16px; marg= in-top:0px; margin-bottom:0px"> <br> </div> <div style=3D"font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Appl= e Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe U= I Symbol","Android Emoji",EmojiSymbols; font-size:16px; marg= in-top:0px; margin-bottom:0px"> From October 2025 on, there are 2-3 PhD / Postdoc positions available in th= e Mathematical Logic Group at W=FCrzburg, Germany. (It is possible to start= a bit earlier or up to a year later -- please apply now even if you want t= o start later.) I would be very grateful if you would share this message with students / young researchers who may = be interested!</div> <div style=3D"font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Appl= e Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe U= I Symbol","Android Emoji",EmojiSymbols; font-size:16px; marg= in-top:0px; margin-bottom:0px"> <br> </div> <div style=3D"font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Appl= e Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe U= I Symbol","Android Emoji",EmojiSymbols; font-size:16px; marg= in-top:0px; margin-bottom:0px"> Topics: The focus of my group is on ordinal analysis and reverse mathematic= s, 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 ca= n look at (the introductions of) <a href=3D"https://prooftheory.blog/2= 020/06/03/from-cut-elimination-to-reverse-mathematics/" class=3D"OWAAutoLin= k" id=3D"LPlnk902097" previewremoved=3D"true">https://prooftheory.blog/2020= /06/03/from-cut-elimination-to-reverse-mathematics/</a> and <a hr= ef=3D"https://doi.org/10.1016/j.aim.2022.108265" class=3D"OWAAutoLink" id= =3D"LPlnk841493" previewremoved=3D"true">https://doi.org/10.1016/j.aim.2022= ..108265</a> and <a href=3D"https://doi.org/10.1090/tran/8966" cla= ss=3D"OWAAutoLink" id=3D"LPlnk968740" previewremoved=3D"true">https://doi.o= rg/10.1090/tran/8966</a>.</div> <div style=3D"font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Appl= e Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe U= I Symbol","Android Emoji",EmojiSymbols; font-size:16px; marg= in-top:0px; margin-bottom:0px"> <br> </div> <div style=3D"font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Appl= e Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe U= I Symbol","Android Emoji",EmojiSymbols; font-size:16px; marg= in-top:0px; margin-bottom:0px"> Group: We value diversity and are looking forward to the contributions of n= ew group members! Currently, we run a colloquium with external speaker= s 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.</div> <div style=3D"font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Appl= e Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe U= I Symbol","Android Emoji",EmojiSymbols; font-size:16px; marg= in-top:0px; margin-bottom:0px"> <br> </div> <div style=3D"font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Appl= e Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe U= I Symbol","Android Emoji",EmojiSymbols; font-size:16px; marg= in-top:0px; margin-bottom:0px"> Positions: All positions are funded for three years, as 75-%-pos= itions for PhD students or 100-%-positions for postdocs. (Please ask if you= have questions about the percentages or other aspects of the German employ= ment system.) They come with a very moderate teaching load of about 2 hours (=3D one exercise course) per week. We cond= uct our research in English and no German language skills are required, tho= ugh they make it easier for me to distribute the teaching.</div> <div style=3D"font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Appl= e Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe U= I Symbol","Android Emoji",EmojiSymbols; font-size:16px; marg= in-top:0px; margin-bottom:0px"> <br> </div> <div style=3D"font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Appl= e Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe U= I Symbol","Android Emoji",EmojiSymbols; font-size:16px; marg= in-top:0px; margin-bottom:0px"> Application: You are very welcome to contact me informally first. For a for= mal application, please send me the following by email (anton.freund@uni-wu= erzburg.de) until 25 April 2025:</div> <div style=3D"font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Appl= e Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe U= I Symbol","Android Emoji",EmojiSymbols; font-size:16px; marg= in-top:0px; margin-bottom:0px"> <br> </div> <div style=3D"font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Appl= e Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe U= I Symbol","Android Emoji",EmojiSymbols; font-size:16px; marg= in-top:0px; margin-bottom:0px"> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> (1) a letter of motivation (in particular to explain why you are interested= in / see connections with the work of my group);</div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> </div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> (2) a curriculum vitae (including a list of publications, talks and pa= st teaching);</div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> (3) the latest diploma available (Bachelor, Master and / or PhD),= with a list of courses / grades;</div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> (4) one mathematical text that you have written (paper / preprint / thesis = chapter; if you choose a co-authored text, please briefly specify your cont= ribution with respect to both research and writing);</div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> (5) a letter of reference (e.g. by the supervisor of your Master / PhD thes= is).</div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> <br> </div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> Selected applicants will be invited for (zoom) interviews in early May. (Le= t me note that there is no standardized employment process by the univ= ersity, though I'm very committed to making the process transparent an= d fair.)</div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> <br> </div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> If you have any questions, you are very welcome to get in touch (anton= [email protected]). I'm looking forward to hearing from you!</div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> <br> </div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> Best wishes,</div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> Anton Freund</div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> --</div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> <a href=3D"https://www.mathematik.uni-wuerzburg.de/en/mathematicallogic/tea= m/freund-anton-prof-dr/" class=3D"OWAAutoLink" id=3D"LPlnk124735">https://w= ww.mathematik.uni-wuerzburg.de/en/mathematicallogic/team/freund-anton-prof-= dr/</a><br> </div> <div style=3D"font-family: Calibri, Helvetica, sans-serif, EmojiFont, "= ;Apple Color Emoji", "Segoe UI Emoji", NotoColorEmoji, "= ;Segoe UI Symbol", "Android Emoji", EmojiSymbols; font-size:= 16px; margin-top: 0px; margin-bottom: 0px;"> <br> </div> </div> <p></p> </div> </div> </div> </div> </body> </html> --_000_6480d28060b64d13ba8c2de1d3302e14uniwuerzburgde_--