Positions available in the EDOS project
=======================================
INRIA and the Department of Computer Science at University Paris 7 have two
positions open to join the EDOS project research effort.
The positions start in early 2005 and last one year with possible extension to
two years.
Salaries will vary depending on qualification and experience.
The EDOS Project
----------------
EDOS (http://www.edos-project.org/) is an EC FP6 funded research project
aiming at developing next-generation, state-of-the-art tools for the
development and deployment of Open Source Software. Several prestigious
research institutions, and many successful Open Source companies participate
in the project, offering a unique combination of advanced research environment
and first-hand access to real-life experience in building complex software
systems.
One of the tasks of the EDOS project is focused on developing a formal
mathematical basis for modeling complex dependency scenarii that show up in
the evolution of large package repositories, and then propose efficient
algorithms to perform static analysis and verification of these repositories,
to ensure consistency and seamless upgradeability, which are primary goals for
Linux distribution makers and also of central interest in any large scale
modular software project.
Positions and Applications
--------------------------
The project has open positions for one post-doctoral young researcher and one
research assistant ("ing�nieur expert"). In addition, we encourage
applications from young, talented master students who may be interested in
pursuing a Ph.D. at one of the partner academic institutions of the EDOS
project.
Applications should be sent via email to:
[EMAIL PROTECTED] and [EMAIL PROTECTED]
using 'EDOS: application' as subject, and including a statement of interest
and a CV. PostScript, PDF, or plain text formats are expected.
You can use the addresses above also for further inquiries.
Description of the positions
----------------------------
The post-doctoral researcher will be expected to lead the research efforts of
the group and work with the research assistant and possibly with a PhD student
on the mathematical model of package dependencies, including the design and
implementation of algorithms to perform static analysis. Publication of the
research results in scientific conferences and journals is an integral part of
the position.
The ideal candidate should have a Ph.D. in computer science and good basis in
formal methods (specification and verification). Experience with package
management in Linux distributions and good knowledge of the OCaml programming
language are definite plus.
The research assistant's activities will include the analysis of different
existing package management tools, the collection of complex packaging and
dependency scenarii (taking advantage of the real-world experience accumulated
by the industrial partners of the project), and the design, implementation and
experimental evaluation of a series of tools for the static analysis of large
repositories of packages.
The ideal candidate should have a master's or engineering degree in computer
science, strong programming skills in a variety of programming languages
(including OCaml), and a very good working experience with package
construction and management in at least one major Linux distribution. Prior
exposure to formal methods is a plus. The candidates are expected to
demonstrate initiative and work in a collaborative environment, with a strong
commitment to achieving assigned objectives.
--
Ralf Treinen
Laboratoire Sp�cification et V�rification
CNRS, �cole Normale Sup�rieure de Cachan, INRIA Futurs
http://www.lsv.ens-cachan.fr/~treinen
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
