PhD position: the Coccinelle framework for evolution of Linux device drivers


Description of the position:

A full 3-year PhD scholarship is available at the University of Copenhagen
(DIKU) to work on the design and development of the Coccinelle framework
for evolution of Linux device drivers.

The candidate should have a strong interest in most of the following:

    * Programming language design
    * Programming language semantics
    * Program analysis
    * Compilation
    * Operating system design
    * Device drivers

Tools related to Coccinelle are being developed using OCaml.

A Masters degree is required to start the position, but need not be
completed by the time of the application.

The deadline for the application is April 14, 2006 at 12pm (noon), Danish
time.

More information about the position and the application process is
available at: http://www.diku.dk/~julia/announcement.pdf

More information about the project is available at:
http://www.emn.fr/x-info/coccinelle/

All interested candidates irrespective of age, gender, race, religion or
ethnic background are invited to apply.  Knowledge of Danish is not
required.

Julia Lawall
DIKU - University of Copenhagen
Universitetsparken 1
2100 Copenhagen, Denmark
e-mail: julia@diku.dk, web: http://www.diku.dk/~julia/