PhD student position and postdoctoral position in computational logic, Innsbruck (Austria)

Within the FWF project "Automated Complexity Analysis via Transformations (ACAT)" a PhD position (3 years) and a postdoctoral research position (2 years) are available. Both positions are potentially extendable.

The project is hosted at the Computational Logic group of the Institute of Computer Science, University of Innsbruck, Austria. Candidates for the postdoctoral position are required to hold a PhD degree. A strong background in key areas of the ACAT project is an asset: program transformation, program analysis, runtime complexity analysis, etc. Candidates are expected to contribute to research within the project. Knowledge of German is not required. We follow the renumeration scheme of FWF, see http://www.fwf.ac.at/.

Applications may be sent no later than November 30, 2013. Further information is available from the project website at http://cl-informatik.uibk.ac.at/research/projects/, or by emailing georg.moser at uibk.ac.at.