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 mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id A29947F30A for ; Tue, 5 Mar 2013 04:11:36 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Jeremy.Gibbons@cs.ox.ac.uk) identity=pra; client-ip=163.1.2.162; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Jeremy.Gibbons@cs.ox.ac.uk"; x-sender="Jeremy.Gibbons@cs.ox.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of Jeremy.Gibbons@cs.ox.ac.uk) identity=mailfrom; client-ip=163.1.2.162; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Jeremy.Gibbons@cs.ox.ac.uk"; x-sender="Jeremy.Gibbons@cs.ox.ac.uk"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@relay14.mail.ox.ac.uk) identity=helo; client-ip=163.1.2.162; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="Jeremy.Gibbons@cs.ox.ac.uk"; x-sender="postmaster@relay14.mail.ox.ac.uk"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApcCACZiNVGjAQKikWdsb2JhbABEw1wWDgEBAQEJCxIUJ4MYQxQgYRqHeAEMngKRFYcSiQ6PKYMqA5ZGk2cN X-IPAS-Result: ApcCACZiNVGjAQKikWdsb2JhbABEw1wWDgEBAQEJCxIUJ4MYQxQgYRqHeAEMngKRFYcSiQ6PKYMqA5ZGk2cN X-IronPort-AV: E=Sophos;i="4.84,784,1355094000"; d="scan'208";a="4205887" Received: from relay14.mail.ox.ac.uk ([163.1.2.162]) by mail3-smtp-sop.national.inria.fr with ESMTP; 05 Mar 2013 04:11:12 +0100 Received: from mailer.cs.ox.ac.uk ([129.67.151.81]) by relay14.mail.ox.ac.uk with esmtp (Exim 4.80) (envelope-from ) id 1UCiHY-00043c-jc for caml-list@inria.fr; Tue, 05 Mar 2013 03:11:12 +0000 Received: from linux1.cs.ox.ac.uk ([129.67.151.76]:39474) by mailer.cs.ox.ac.uk with esmtp (Exim 4.76) (envelope-from ) id 1UCiHX-0005sM-5N for caml-list@inria.fr; Tue, 05 Mar 2013 03:11:11 +0000 Received: (from jg@localhost) by linux1.cs.ox.ac.uk (dcs5.1/8.14.4) id r253BAki023481 for caml-list@inria.fr; Tue, 5 Mar 2013 03:11:10 GMT From: Jeremy.Gibbons@cs.ox.ac.uk Message-Id: <201303050311.r253BAki023481@linux1.cs.ox.ac.uk> Date: Tue, 05 Mar 2013 03:11:10 +0000 To: caml-list@inria.fr User-Agent: Heirloom mailx 12.4 7/29/08 MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-MIME-Autoconverted: from 8bit to quoted-printable by linux1.cs.ox.ac.uk id r253BAki023481 Subject: [Caml-list] Research Assistantship at Oxford on Bidirectional Transformations Postdoctoral Research Assistant=20 "A THEORY OF LEAST-CHANGE FOR BIDIRECTIONAL TRANSFORMATIONS" Department of Computer Science, University of Oxford Applications are invited for a Research Fellowship on an EPSRC-funded proje= ct "A Theory of Least-Change for Bidirectional Transformations". The projec= t is a collaboration between Professor Jeremy Gibbons in the Department of = Computer Science, University of Oxford, and Dr Perdita Stevens and Dr James= Cheney in the School of Informatics, University of Edinburgh.=20 The project concerns bidirectional transformations, which are a means of ma= intaining consistency between multiple information sources: when one source= is edited, the others may need updating to restore consistency. There are = applications in model-driven engineering, database design, and program deve= lopment, among others. A bidirectional transformation can be implemented i= n terms of several unidirectional restoring functions, one per source; but = this duplicates information, wasting effort and risking inconsistencies. Bi= directional transformation languages allow one to describe the consistency = relationship and the restoring functions with a single declarative specific= ation. Our aim in this project is to study the principle of least change: that a b= idirectional transformation should not make unnecessary or unnecessarily la= rge changes when it re-establishes consistency. The primary focus of the Ox= ford contribution is the development of a theory of alignment for bidirecti= onal transformations on structured data, especially in the case of non-free= datatypes such as associative lists and graphs. We conjecture that the mat= hematics of container datatypes and combinatorial species will be particula= rly relevant. The Fellowship will be under the supervision of Professor Jeremy Gibbons at Oxford, and is available for three years from 31st August 2013 (or any time before that). The salary is on a standard scale, from =A329,541 to =A336,298 per annum. For further details, including a job description and information on how to apply, please see the webpage (http://www.cs.ox.ac.uk/news/619-fu= ll.html). If you have any questions, please write to me (jeremy.gibbons@cs.= ox.ac.uk). Please pass this advert on to anyone you think may be interested. Jeremy Jeremy.Gibbons@cs.ox.ac.uk Oxford University Department of Computer Science, Wolfson Building, Parks Road, Oxford OX1 3QD, UK. +44 1865 283521 http://www.cs.ox.ac.uk/people/jeremy.gibbons/