Logic List Mailing Archive

PhD student position for Datalog Research, Leuven (Belgium)

- 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@cs.kuleuven.be, or dr.ir. Tom Schrijvers at
tom.schrijvers@cs.kuleuven.be.