Postdoctoral or PhD student position in Computation with Bounded Resources, Innsbruck (Austria)

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).

Applications must be received before 31 May, 2016. Further information is available from the Project FISP page at http://cl-informatik.uibk.ac.at/research/projects/, or by contacting Prof. Georg Moser at georg.moser at uibk.ac.at.