Ph.D. Position in Datalog Research

[rotadem]

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.

Source: Ph.D. Position in Datalog research

[rotadem]