[DL] Research position in constraints and CHR

[event at in.tu-clausthal.de]

Please pass this message on to whoever you think may be interested.

DOCTORAL/POSTDOCTORAL RESEARCH POSITION IN CONSTRAINT SOLVING AND PROGRAMMING

                    University of Ulm, Germany

A research position is available for Ph.D. students or postdocs at the Faculty
of Computer Science, University of Ulm, Department of Software Engineering and
Compiler Construction in the area of Constraint Handling Rules (CHR).

The successful applicant will be responsible for a research project funded by
the German Research Foundation DFG. Its topic is the specification, generation,
implementation and analysis of rule-based algorithms for solving of global
constraints in CHR. The position thus requires knowledge and interest in one or
more of the aforementioned areas.

At least a master or equivalent in computer science or strongly related area is
required. The initial appointment will be for two years, beginning as soon as
possible, with a possible renewal for another two years depending on the
evaluation of the research foundation.

Gross salary is 56.400 Euro a year according to assistant position BAT IIa. It
includes health and social insurance. Additional money for conference travel and
visit of the advanced summer school on global constraints will be provided.

Ulm is a pleasant city of 150.000 on the Danube, with nearby rocks for free-
climbing, close to Stuttgart, Munich, the Alps, and Lake Konstanz. Every day
life requires a basic command of German.

Prospective applicants should email their resume with three references, and link
to homepage and publications if available, to our secretary Claudia Hammer at

hammer at informatik.uni-ulm.de
by February 28th, 2006,
or until the position is filled.

Prof. Thom Fruehwirth
c/o Claudia Hammer
University of Ulm
Faculty of Computer Science
Department PM
D-89069 Ulm, Germany

Email: hammer at informatik.uni-ulm.de
WWW:   http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/
CHR:   http://www.cs.kuleuven.be/~dtai/projects/CHR/

The University of Ulm aims to increase the representation of women in research
and teaching and therefore expressly encourages female scientists to apply.
Disabled applicants with relevant qualifications will be given priority.

------------------------------------------------------------------------
This e-mail was delivered to you by event at in.tu-clausthal.de, what is a
moderated list ran by Computational Intelligence Group of Clausthal University of Technology, Germany. 
All event announcements sent through this list are also listed in our
conference planner at http://cig.in.tu-clausthal.de/index.php?id=planner.
 
In the case of any requests, questions, or comments, do not hesitate and 
contact event-owner at in.tu-clausthal.de ASAP. 
 
******************************************************
* CIG does not take any responsibility for validity  * 
* of content of messages sent through this list.     * 
******************************************************

Computational Intelligence Group
Department of Computer Science
Clausthal University of Technology
Germany
http://cig.in.tu-clausthal.de/