Ph.D. Position for Datalog Research

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. Promotor will be dr.ir. Tom Schrijvers.

Review of applications begins as of March 1, 2010. For more information, see http://phd.kuleuven.be/set/voorstellen_departement?departement=50000525 or http://www.cs.kuleuven.be/~toms/phd_position.txt. Please direct inquiries and applications, preferably by e-mail, to: professor Bart Demoen at bart.demoen at cs.kuleuven.be, or dr.ir. Tom Schrijvers at tom.schrijvers at cs.kuleuven.be.