Logic List Mailing Archive

PhD student position in proof theory, Darmstadt (Germany)

Dear logicians,

From autumn 2021, I will lead a junior research group in mathematical
logic at TU Darmstadt, funded by the Emmy Noether Programme of DFG (German
Research Foundation). If you know someone who might be interested in a PhD
position in this group, it would be great if you could forward this
message. Thank you so much for your help!

The group will work on a project with the title "Continuous order
transformations: A bridge between ordinal analysis, reverse mathematics,
and combinatorics". To see some themes that are important for the project,
you could look at

- the introduction of this paper: https://arxiv.org/abs/2001.06380
- this blog post:
https://prooftheory.blog/2020/06/03/from-cut-elimination-to-reverse-mathematics/
- introductions to ordinal analysis and reverse mathematics online or in
textbooks.

If you are looking for a PhD position: It's completely fine if most of the
resources above are not understandable yet. What's most important is that
they sound interesting. If that's the case, you are warmly invited to send
me an informal email (to freund@mathematik.tu-darmstadt.de). We can then
discuss via email or zoom.

The preferred starting date is 01.10.2021, but it may be possible to start
up to a year later. In any case, please don't hesitate to send me a first
informal email soon.

All the best,
Anton Freund


--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam