Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
PhD position
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-03-20 (09:24)
From: Julia Lawall <julia@d...>
Subject: PhD position
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

More information about the position and the application process is
available at:

More information about the project is available at:

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

Julia Lawall
DIKU - University of Copenhagen
Universitetsparken 1
2100 Copenhagen, Denmark
e-mail:, web: