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 450B67EE64 for ; Mon, 22 Apr 2013 13:02:13 +0200 (CEST) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of Peter.Sewell@cl.cam.ac.uk) identity=pra; client-ip=128.232.25.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pes20@cl.cam.ac.uk"; x-sender="Peter.Sewell@cl.cam.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of pes20@cl.cam.ac.uk) identity=mailfrom; client-ip=128.232.25.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pes20@cl.cam.ac.uk"; x-sender="pes20@cl.cam.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mta0.cl.cam.ac.uk) identity=helo; client-ip=128.232.25.20; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="pes20@cl.cam.ac.uk"; x-sender="postmaster@mta0.cl.cam.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AtwAAEwYdVGA6BkUmWdsb2JhbABPFoMmrxUBkm8WDgEBAQEBCAsLBxQognkYBjVEOYg7DJp6jySIKYkRjggDAoUAA5cVi3+IKIFqCBc X-IPAS-Result: AtwAAEwYdVGA6BkUmWdsb2JhbABPFoMmrxUBkm8WDgEBAQEBCAsLBxQognkYBjVEOYg7DJp6jySIKYkRjggDAoUAA5cVi3+IKIFqCBc X-IronPort-AV: E=Sophos;i="4.87,526,1363129200"; d="scan'208";a="14319375" Received: from mta0.cl.cam.ac.uk ([128.232.25.20]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 22 Apr 2013 13:02:12 +0200 Received: from optic.cl.cam.ac.uk ([128.232.9.31] helo=cl.cam.ac.uk) by mta0.cl.cam.ac.uk with esmtp (Exim 4.63) (envelope-from ) id 1UUEVg-0003SW-7d for caml-list@inria.fr; Mon, 22 Apr 2013 12:02:12 +0100 To: caml-list@inria.fr Date: Mon, 22 Apr 2013 12:02:12 +0100 From: Peter Sewell Message-Id: Subject: [Caml-list] Researcher positions in Rigorous Engineering for Mainstream Systems (REMS) Researcher positions in Rigorous Engineering for Mainstream Systems (REMS) How can we use rigorous semantics to improve the quality of mainstream computer systems? REMS (Rigorous Engineering for Mainstream Systems) (http://www.cl.cam.ac.uk/~pes20/rems/) is a 6-year EPSRC-funded Programme Grant to do just that, bringing together an exciting combination of researchers in systems (architecture, operating systems, and networks) and in semantics (programming languages, automated reasoning, and verification) at three UK universities: Cambridge, Imperial, and Edinburgh. We want to understand how to build accurate full-scale mathematical models of some of the key computational abstractions (processor architectures, programming languages, and concurrent OS interfaces), and how these can be used for new verification research, to build tools that are applicable to real systems, and to enable new systems and programming language research. Supporting all this, we are also working on new specification tools and their foundations. If you have a keen interest in developing and applying rigorous methods for real-world systems, we'd like to hear from you. At the Cambridge site, we're looking to appoint several researcher and research-engineer staff: up to four postdocs and two research engineers (we will also be looking to appoint researchers at the Imperial site, advertised separately). We're looking for people who have a strong background in systems, in semantics, or in both, and who want to develop research that integrates theory and practice, contributing to ongoing research and initiating new subprojects. You should have expertise in one or more of the following, on the semantics side: * Programming Language and Processor Semantics and Type Systems * Automated Reasoning Tools, including Interactive Proof Assistants * Concurrency * Program Verification * Static and Dynamic Analysis and/or the following, on the systems side: * Computer Architecture * Operating Systems * Security * Compilers We have four postdoctoral researcher positions available. For these positions you should have a PhD (which should be submitted by the start date) or equivalent experience. For candidates with exceptional experience it may be possible to appoint on the Senior Research Associate scale (£37,382-£47,314); for this you should also have the ability to assist with project coordination. We also have two research engineer positions available, which will be on the Research Assistant scale. Candidates for these should have an excellent first degree. One of the positions has a tenure of three years; in some cases it may be possible to combine this with PhD study. The limit of tenure for the other position is one year; this may suit someone who is thinking of going on to a PhD later. The positions are funded by the EPSRC grant EP/K008528 (http://gow.epsrc.ac.uk/NGBOViewGrant.aspx?GrantRef=EP/K008528/1), led by Peter Sewell (http://www.cl.cam.ac.uk/~pes20/). Further details of the project are at http://www.cl.cam.ac.uk/~pes20/rems/. Enquiries can be addressed to any of the investigators, listed there. Those involved in the project include researchers in semantics and systems at Cambridge: Mike Gordon, Magnus Myreen, Andrew Pitts, and Peter Sewell (PI) for the former, and Jon Crowcroft, Steve Hand, Anil Madhavapeddy, Simon Moore, and Robert Watson for the latter, together with Philippa Gardner at Imperial College London and Ian Stark at the University of Edinburgh. Also involved are Mike Dodds (York), Susmit Sarkar (St. Andrews) and Scott Owens (Kent). Project partners include ARM, IBM, Microsoft Research, the FreeBSD foundation, INRIA, U. Pennsylvania, Purdue University, and U. Texas Austin. Applications should include: * a Curriculum Vitae * a brief statement of the particular contributions you would like to make to the project * a completed form CHRIS6: http://www.admin.cam.ac.uk/offices/hr/forms/chris6/ * the names and contact details (postal and e-mail addresses) of two or three referees who, if asked, will be able to provide references promptly. Start date: as soon as possible. The project runs until end February 2019. For the postdoctoral researcher positions, please quote reference: NR27842. Closing date: 15 May 2013; salary: £27,854-£36,298 pa. For the research engineer positions, please quote reference NR27832. Closing date: 14 May 2013; salary: £24,049-£27,047 pa. Please indicate the length tenure for which you are applying (one or three years).