Logic List Mailing Archive

PhD student position and postdoctoral position in computational logic, Innsbruck (Austria), Deadline: 30 Nov 2013

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