2 year position as postdoctoral researcher

2 year position as postdoctoral researcher

Submissions:
Aug 20, 2011

http://cl-informatik.uibk.ac.at

Within the ANR-FWF project STRUCTURAL there is a 2 year position as postdoctoral researcher

at the Computational Logic group of the Institute of Computer Science, University of Innsbruck, Austria. It might be possible to extend the position to a 3 year position. Candidates are required to hold a PhD degree.

A strong background in the themes of the STRUCTURAL project is an asset. This project is about bringing together different aspects and developments in structural proof theory, namely “deep inference”, the “Curry-Howard correspondence”, “term rewriting”, and “Hilbert’s
epsilon-calculus”. Candidates with a strong theoretical background in related areas are also encouraged to apply.

Candidates are expected to contribute to research within the project. Knowledge of German is an advantage but not essential. The annual gross salary is approximately EUR 46,000.

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

georg.moser@uibk.ac.at

no later than August 20, 2011. Informal inquiries are also welcome at the same email address.

Further information is available from the following links:

*) Project STRUCTURAL:

http://cl-informatik.uibk.ac.at/research/projects/structural-and-computational-proof-theory/

*) Institute of Computer Science:

http://informatik.uibk.ac.at/

*) University of Innsbruck:

http://www.uibk.ac.at/

Some Tags: computational logic, Job, group, Information, logic

Leave a Reply

  

  

  

You can use these HTML tags

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>