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 _______________________________________________ nix-dev mailing list [email protected] https://mail.cs.uu.nl/mailman/listinfo/nix-dev
