[TYPES] research position in Innsbruck

[Aart Middeldorp]

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 at uibk.ac.at

Further information can be obtained from the head of the group

     Aart.Middeldorp at uibk.ac.at