Wednesday, April 27, 2016

[DMANET] 2-year PostDoc or 3-year PhD position at the University of Innsbruck

2-year PostDoc or 3-year PhD position at the University of Innsbruck

Within the research unit Computation with Bounded Resources at the
University of Innsbruck, Austria there is an opening for a 2 year
position as postdoctoral researcher or a 3 year position as PhD
student. The position is funded by the ANR-FWF project "The fine
structure of proof systems and their computational interpretations"
(FISP for short). The research unit is part of the Computational
Logic Group of the Department of Computer Science.

The objective of FISP is to apply the powerful and promising
techniques from structural proof theory to central problems in
computer science for which they have not been used before, especially
the understanding of the computational content of proofs, the
extraction of programs from proofs and the logical control of refined
computational operations. Its primary objective is to build new
concrete computational interpretations of proof systems based on the
techniques developed in the STRUCTURAL project (2011-2013).

A strong background in the themes of the FISP project is an asset.
Candidates with a strong theoretical background in related areas are
also encouraged to apply. Candidates for the postdoc position are
required to hold a PhD degree; candidates for the PhD position must
have a Master's or equivalent degree.

Candidates are expected to contribute to research within the project.
Knowledge of German is not required. The annual gross salary is
approximately EUR 50.200 for the postdoc position and EUR 28.600 for
the PhD position.

Applications (including CV, publication list, and two references) may
be sent by email, to the research unit leader Georg Moser at

no later than May 31, 2016. Informal inquiries are also welcome at the
same email address.

The city of Innsbruck is superbly located in the beautiful
surroundings of the Tyrolean Alps. The combination of the Alpine
environment and urban life in this historic town provides a high
quality of living.

Further information is available from the following links:

*) Project FISP:
*) Computation with Bounded Resources Research Unit
*) Computational Logic Group
* Contributions to be spread via DMANET are submitted to
* 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.