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: [email protected]
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.