From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 9E7C27EE4E for ; Wed, 13 Nov 2013 16:17:49 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of tom.j.ridge@googlemail.com) identity=pra; client-ip=209.85.220.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tom.j.ridge@googlemail.com"; x-sender="tom.j.ridge@googlemail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of tom.j.ridge@googlemail.com designates 209.85.220.41 as permitted sender) identity=mailfrom; client-ip=209.85.220.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tom.j.ridge@googlemail.com"; x-sender="tom.j.ridge@googlemail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-pa0-f41.google.com) identity=helo; client-ip=209.85.220.41; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="tom.j.ridge@googlemail.com"; x-sender="postmaster@mail-pa0-f41.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApkDAMGXg1LRVdwplGdsb2JhbABagz9TwEIIFg4BAQEBBwsLCRIqgmwBAR8ZEBVdEgEFASIbh2YBAw8NoUWLDoRSAQWEPQoZJw2JTgaLR4hQmBOQHxgpgWSBMYE+PIEuJA X-IPAS-Result: ApkDAMGXg1LRVdwplGdsb2JhbABagz9TwEIIFg4BAQEBBwsLCRIqgmwBAR8ZEBVdEgEFASIbh2YBAw8NoUWLDoRSAQWEPQoZJw2JTgaLR4hQmBOQHxgpgWSBMYE+PIEuJA X-IronPort-AV: E=Sophos;i="4.93,693,1378850400"; d="scan'208";a="42549425" Received: from mail-pa0-f41.google.com ([209.85.220.41]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 13 Nov 2013 16:17:26 +0100 Received: by mail-pa0-f41.google.com with SMTP id rd3so569912pab.0 for ; Wed, 13 Nov 2013 07:17:24 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=googlemail.com; s=20120113; h=mime-version:sender:from:date:message-id:subject:to:content-type; bh=9lFiQr447kHJmsF9RJg/youMq/I5CY18nbmtOFSdEp0=; b=hd5IzyI+yCN5bI2SEx0wrKaLGeoQEIBR6D5kF5a7EVJGn4rJbNyb2QvlQ87D44ugSo JHhxgRT7k6WMrk7VkLU7xWJocqjGUlYEL2LWqCrpZphTMVzvBwPyR4XGA/Mz1HxrM0Gy zVPSg8ccbWPuOGjRo72IMtHm6L/xacE+GBNwvR7eJibKxTRwPOwWMIfVTBOSqyXcSKAJ DJUPYFT9+q3GlFRM8pwjDaEQeKM1DTpJhLgEJM3nRc0SF2R50r8Y7XSDkLCVa6fCi2r7 fpxBEEI9TlVZ9e6PQ+53zd2vX0PQd2OLavUM8Womd9rA2V9dhROE2KCVp742IbN5hNxT uCBA== X-Received: by 10.66.119.202 with SMTP id kw10mr42957759pab.118.1384355844112; Wed, 13 Nov 2013 07:17:24 -0800 (PST) MIME-Version: 1.0 Sender: tom.j.ridge@googlemail.com Received: by 10.70.79.136 with HTTP; Wed, 13 Nov 2013 07:17:04 -0800 (PST) From: Tom Ridge Date: Wed, 13 Nov 2013 15:17:04 +0000 X-Google-Sender-Auth: RlOZuWdhiJdWXi6AyQct4X7ZBtM Message-ID: To: caml-list Content-Type: text/plain; charset=ISO-8859-1 Subject: [Caml-list] Engineer and funded PhD position available, formal methods applied to filesystems 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