From: Julia Lawall <julia@diku.dk>
To: caml-list@yquem.inria.fr
Subject: PhD position
Date: Mon, 20 Mar 2006 09:53:35 +0100 (MET) [thread overview]
Message-ID: <Pine.LNX.4.58.0603200952050.1212@pc-041.diku.dk> (raw)
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/
reply other threads:[~2006-03-20 9:24 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Pine.LNX.4.58.0603200952050.1212@pc-041.diku.dk \
--to=julia@diku.dk \
--cc=caml-list@yquem.inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox