[Nix-dev] Looking for researcher in MANCOOSI project

[Peter Van Roy]

Following the suggestion of Eelco Visser, here is a
message that might be interesting to Nix people.

Peter Van Roy

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

**** Researcher position at UCL in MANCOOSI project ****

UCL is looking for a researcher to join the team of
Peter Van Roy in the MANCOOSI project, which has just
started in 2008 in the European 7th Framework Programme.

MANCOOSI aims to improve support for software updates
in Free and Open Source software.  A free software
distribution contains up to tens of thousands of software
packages with complex interdependencies.  Doing a
successful software update is difficult and
algorithmically expensive.  We will define formal models,
transactional support, and specialized algorithms for
upgrading and downgrading software.  We will also
mobilize the research community through an international
competition based on actual data.  UCL will use its
expertise in distributed programming and in constraint
solving to help in both the transactional and the problem
solving aspects of MANCOOSI.  We will use Mozart, a large
open-source platform that implements the Oz language and
provides support for constraint and distributed
programming, as a test vehicle for MANCOOSI.

The researcher position will preferably lead to a Ph.D.
degree or be a post-doc position.  If you are interested,
please send a complete CV and cover letter with letters
of recommendation to:

  Peter Van Roy
  Dept. of Computing Science and Engineering
  Université catholique de Louvain
  B-1348 Louvain-la-Neuve
  Belgium

For more information, please consult the following links:
MANCOOSI: www.mancoosi.org
Mozart: www.mozart-oz.org
Research page: www.info.ucl.ac.be/~pvr/distribution.html