From: Tom Ridge <tom.j.ridge+caml@googlemail.com>
To: caml-list <caml-list@inria.fr>
Subject: [Caml-list] Engineer and funded PhD position available, formal methods applied to filesystems
Date: Wed, 13 Nov 2013 15:17:04 +0000 [thread overview]
Message-ID: <CABooLwNafUdyXNdNDt1Q1eJbTpq502sLGM8CjH_qvN7NAwtwYg@mail.gmail.com> (raw)
Project
=======
The goal of the EPSRC-funded "Future filesystems" project is to apply
formal methods to the specification, validation, implementation and
verification of filesystems. The PI is Tom Ridge
(Leicester).
We have 2 positions available.
Position: engineer (6 months)
=============================
We seek a skilled programmer/developer/engineer to help with
validation of a specification of POSIX-like filesystems. The
specification is written in a pure subset of OCaml, and much of the
supporting infrastructure is also written in OCaml. Further details
are here:
http://www.jobs.ac.uk/job/AHM580/computer-science-engineer/
The closing date for applications is ***Wednesday, November 20th***
(i.e. very soon).
Position: PhD student
=====================
We may also have funds to support a PhD student. The student may work
on the project described above, or may choose to work on another topic
broadly in the area of formal methods and theorem proving. Please
contact Tom Ridge (tr61 at le.ac.uk) if you are interested (include a
CV and a statement describing your proposed research topic). A formal
advert may appear in the future, depending on availability of funds.
Thanks
Tom
reply other threads:[~2013-11-13 15:17 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=CABooLwNafUdyXNdNDt1Q1eJbTpq502sLGM8CjH_qvN7NAwtwYg@mail.gmail.com \
--to=tom.j.ridge+caml@googlemail.com \
--cc=caml-list@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;
as well as URLs for NNTP newsgroup(s).