Assistant Position at University of Ulm, Computer Science, Declarative Programming

(apologies for multiple copies)

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

DOCTORAL OR POSTDOCTORAL POSITION IN DECLARATIVE PROGRAMMING

Institute of Software Engineering and Compiler Construction,
Faculty of Engineering and Computer Science,
University of Ulm, Germany

Starting Date: October 1, 2013.

A research/teaching position is available for Ph.D. students or postdocs
in the area of Constraint Programming, in particular Constraint Handling
Rules (CHR). For background information on the subject start at
http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/

The applicant should have prior knowledge in one or more of the
following areas: Declarative Programming, Logic, Program Analysis,
Artificial Intelligence, and be willing to work in the field of
Constraint Handling Rules.

The context of the position requires a basic command of German at the
time of application. Applicants are expected to be fluent in English.

Mandatory teaching responsibilities are four lecture hours per week (in
German or English).

At least a master or equivalent in computer science or strongly related