Logic List Mailing Archive

4-year postdoctoral research position in Computational Logic (Innsbruck, Austria)

The Institute of Computer Science of the University of Innsbruck invites
applications for a

      researcher position ("Wissenschaftliche(r) Mitarbeiter(in)")

in the Computational Logic group.

Candidates should have a PhD in computer science or mathematics. A good
theoretical background (automata theory, complexity theory, logic, model
checking, rewriting, type theory) is an asset. So is the ability to
implement your ideas. The ideal candidate furthermore enjoys the
opportunity of working with students at all levels. Candidates are
expected to contribute to research and teaching.

We offer the following:

+ A research position in an internationally oriented research group.
+ A 4 year contract with the possibility of extension.
+ A gross monthly salary of around 2700 euro, which is paid 14 times
   a year, and augmented by a teaching supplement.

The application deadline is October 31, 2004; later applications will be
considered until the position is filled. The University of Innsbruck is
committed to increase its female staff, so qualified women are especially
encouraged to apply.

The city of Innsbruck, which hosted the Olympic Winter Games in 1964 and
1976, is superbly located in the beautiful surroundings of the Tyrolean
Alps. The combination of the Alpine environment and urban life in this
historic town provides a high quality of living. The University of
Innsbruck has a long tradition dating back to the 16th century and offers
a wide spectrum of research and teaching activities with interesting
opportunities for interdisciplinary collaboration.

Applications, containing a CV, publication list, and the names of two
references, should be send to

     Ms. Anna Maria Scheiring
     Institute of Computer Science
     Technikerstr. 17/1
     A-6020 Innsbruck
     Austria

     Anna-Maria.Scheiring@uibk.ac.at

Further information can be obtained from the head of the group

     Aart.Middeldorp@uibk.ac.at