20 June: fyi -- funding, Ulm

Index of June 2002 | Index of year: 2002 | Full index

RESEARCH AND TEACHING POSITION IN CONSTRAINT PROGRAMMING

UNIVERSITY OF ULM, GERMANY

A research and teaching position (BAT IIa or C1) is available for
Ph.D. students or postdocs at the Faculty of Computer Science,
University of Ulm, Department of Software Engineering and Compiler
Construction.

The ideal applicant will have a profound knowledge in the following
research areas:
- constraint programming
- constraint reasoning
We are also interested in the following areas:
- program analysis
- computational logic
- concurrency and coordination
- compiler construction
Familiarity with Constraint Handling Rules (CHR) or similar
programming languages is an asset.

A master or equivalent in computer science or strongly related area is
required. Teaching duties require a basic command of German.
Depending on qualification, the initial appointment will be for up to
three years, beginning as soon as possible, with a possible renewal
for up to three more years.

The Faculty of Computer Science has been ranked among the top ten in
Germany. Ulm is a pleasant city on the Danube, close to Stuttgart,
Munich, the Alps, and Lake Konstanz.

Prospective applicants should email their resume and references to
Prof. Fruehwirth at the address given below (preferably by July 1,
2002). Applicants for a post-doctoral position may also include a one
page research statement and a link to selected publications.

The University aims to increase the representation of women in
research and teaching and therefore expressly encourages female
scientists to apply. Severely handicapped applicants with relevant
qualifications will be given priority. Employment is through the
university's central administration.

Contact:

Prof. Thom Fruehwirth
c/o Claudia Hammer
University of Ulm
Faculty of Computer Science
Department of Software Engineering and Compiler Construction (PM)
Oberer Eselsberg
D-89069 Ulm, Germany

e-mail: hammer@informatik.uni-ulm.de
WWW: http://www.informatik.uni-ulm.de/engl/

CHR: http://www.pst.informatik.uni-muenchen.de/~fruehwir/chr/

Index of June 2002 | Index of year: 2002 | Full index