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 ------------------------------------------------------------------------------ DreamFactory - Open Source REST & JSON Services for HTML5 & Native Apps OAuth, Users, Roles, SQL, NoSQL, BLOB Storage and External API Access Free app hosting. Or install the open source package on any LAMP server. Sign up and see examples for AngularJS, jQuery, Sencha Touch and Native! http://pubads.g.doubleclick.net/gampad/clk?id=63469471&iu=/4140/ostg.clktrk _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
