research position at the University of Innsbruck

[----- The Types Forum, http://www.cis.upenn.edu/~bcpierce/types -----]

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. A good theoretical
background (logic, automata theory, 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 unlimited 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 November 30, 2003; 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. 25/7
     A-6020, Innsbruck


Further information can be obtained from the head of the group