[Proof Complexity] PhD/postdoc positions in proof complexity at the University of Jena, Germany

[Olaf Beyersdorff]

Dear Colleagues,

Up to two PhD/postdoc positions in the area of proof complexity are available at the University of Jena, Germany. The initial duration of the contract would be 3 years with a possibility for an extension. The positions are available from September, the start date is negotiable. The positions carry a modest teaching load which can be delivered in English.

I will be happy to provide more details upon request and answer any enquiries.

Best wishes
Olaf Beyersdorff


—
Prof. Dr. Olaf Beyersdorff
Institut für Informatik
Friedrich-Schiller-Universität Jena
Ernst-Abbe-Platz 2, 07743 Jena
Phone: +49 (0)3641 946321
Email: O.Beyersdorff at leeds.ac.uk<mailto:O.Beyersdorff at leeds.ac.uk>
https://www.fmi.uni-jena.de/Beyersdorff.html