DOCTORAL POSITION FOR DATALOG RESEARCH

Subject:	DOCTORAL POSITION FOR DATALOG RESEARCH
Date:	Tue, 2 Feb 2010 00:52:54 -0800 (PST)

DOCTORAL POSITION FOR DATALOG RESEARCH

Declarative Languages and Artificial Intelligence Group
Department of Computer Science
Catholic University of Leuven, Belgium

The Declarative Languages and Artificial Intelligence Group at the
Catholic
University of Leuven is looking for doctoral research candidates in
the area of
Datalog.
The position concerns research related to language development,
program
optimization, integration with constraint solvers, problem modeling,
refactoring, profiling, debugging, ... Close collaboration with our
US-based
industrial partner is expected.

Applicants should have a masters degree in Computer Science or
equivalent.
Experience in at least one of Datalog, logic programming (Prolog,
ASP, ...),
databases or constraint programming is required. Implementation
experience is
an important asset.

Appointment to the doctoral position will be for the period of one
year
initially with possibility for extension to four years ending in a
Ph.D. The
salary is compatible with the departmental rates for doctoral research
fellows.

Please direct inquiries and applications, preferably by e-mail, to:

Professor Bart Demoen
Department of Computer Science
K.U.Leuven
Celestijnenlaan 200A
B-3001 Heverlee
Belgium

Email: bart.demoen@cs.kuleuven.be
Phone: +32 16 327547

Notice of interest (including motivation and CV) should be received as
soon as
possible. Review of applications begins as of March 1, 2010, and the
start date
is determined in consultation with the selected candidate.