Logic List Mailing Archive

PhD student & Postdoc positions in "Foundations of XML", Dortmund/Paris (Germany/France)

PhD and Post-doc positions vacancy.

FoX, "Foundations of XML - Safe Processing of Dynamic Data over the 
Internet" is a research project funded by the EU involving seven 
universities in Amsterdam (Maarten Marx), Dortmund (Thomas Schwentick), 
Edinburgh (Leonid Libkin), Hasselt (Frank Neven), Oxford (Georg Gottlob), 
Paris (Luc Segoufin), and Warsaw (Mikolaj Bojanczyk).

The FoX program is scheduled to start on May 2009 and last until May 2012.

The FoX research program is to study the fundamental issues raised by 
distributed XML repositories. Topics range from modeling and reasoning 
issues, querying and extracting data, verifying critical properties of 
distributed XML repositories and learning. This reserach will include 
theoretical investigations as well as prototypical implementation of 
tools.

Candidates should have a very good background in (as many as possible of) 
semistructured data, XML, logic, automata, and complexity.

Within this project two post-doc positions are currently available: one in 
Dortmund and one in Paris. The position in Dortmund can also be given to a 
PhD student.

Interested applicants should contact Thomas Schwentick for Dortmund's 
position (thomas.schwentick@udo.edu) or Luc Segoufin for Paris' position 
(luc.segoufin@inria.fr).