[DMANET] Two PhD/postdoc positions in proof complexity and logic at the University in Jena, Germany

Two PhD/postdoc positions in theoretical computer science are available at the University of Jena, Germany. Candidates should have an interest and background in one or more of the following areas: proof complexity, algorithms, computional complexity, logic.

The initial duration of the contract will be 3 years with a possibility for an extension. The positions are available from October, the start date is negotiable. The positions carry a modest teaching load which can be delivered in English.

For applications and enquiries please contact Olaf Beyersdorff (olaf.beyersdorff@uni-jena.de<mailto:olaf.beyersdorff@uni-jena.de>).


—
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: olaf.beyersdorff@uni-jena.de<mailto:oalf.beyersdorff@uni-jena.de>
https://www.fmi.uni-jena.de/Beyersdorff.html

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************