Announcement: Research Assistant Position Available

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

[There was a problem posting this message.  Apologies if you
receive it twice.  -- Philip Wadler, moderator, Types Forum]

Research Assistant Position Available

        Chair of Programming and Software Engineering (Prof. Wirsing)
        Department of Computer Science
        LMU (Ludwig-Maximilians-University Munich, Germany)

As part of our commitment to highly competitive research in constraint
programming, we are seeking to employ as soon as possible a research
assistant for a period of at least one year, with a very likely
extension by two more years and a possibility for further extensions.
More information is available
via URL http://www.pst.informatik.uni-muenchen.de/personen/fruehwir/cwg.html

The position is funded by a project on combining functional and
constraint logic programming. Participation in the project and its
adminstration is expected. The exact topic of research is fairly
flexible within the project ranging from theory to applications.
Teaching opportunities and supervision of graduate students are
available, but are not required.

The department of computer science is located right at the "English
Garden", the huge gardens and woods along the river Isar passing right
through the city center. Wealthy Munich is Germanys High-Tech-capital
and largest academic city. Its surroundings feature pleasant lakes and
the Alps.

Salary is roughly US$3,000 per month. The job opening is immediate.
Applicants should have a master or Ph.D in Computer Science with
research experience in constraint reasoning, functional programming, logic
programming and/or concurrent programming.

Email your application (including resume, references, sample papers
and statement of research interests) to:

        Dr. Fruehwirth Thom
        LMU (Ludwig-Maximilians-Universitaet)
        Institut fuer Informatik
        Oettingenstrasse 67
        D-80538 Munich, Germany

        Email: Thom.Fruehwirth@informatik.uni-muenchen.de
        Web: http://www.pst.informatik.uni-muenchen.de/~fruehwir/
        Tel: +(49) 89 2178-2181
        Fax: +(49) 89 2178-2175