[DMANET] PhD and Postdoc at University of Innsbruck

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 remuneration
scheme of the Austrian Science Fund: approximately EUR 47.000,—
(gross) per year for the postdoc and EUR 27.000,— (gross) for the
doctoral candidate.

Applications (including CV, publication list, and two references) may
be sent by email, to

georg.moser@uibk.ac.at

no later than November 30, 2013. Informal inquiries are also welcome at
the same email address.

Further information is available from the following links:

*) Project ACAT:
http://cl-informatik.uibk.ac.at/research/projects/automated-complexity-analysis-via-transformations/

*) Institute of Computer Science:
http://informatik.uibk.ac.at/

*) University of Innsbruck:
http://www.uibk.ac.at/

**********************************************************
*
* 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/
*
**********************************************************