DOCTORAL POSITION FOR DATALOG RESEARCH
Tom Schrijvers
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....@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.