From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7618 Path: news.gmane.org!not-for-mail From: Jeremy.Gibbons@cs.ox.ac.uk Newsgroups: gmane.science.mathematics.categories Subject: Research Assistantship at Oxford on Bidirectional Transformations Date: Tue, 05 Mar 2013 03:11:10 +0000 Message-ID: Reply-To: Jeremy.Gibbons@cs.ox.ac.uk NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1362570549 18869 80.91.229.3 (6 Mar 2013 11:49:09 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 6 Mar 2013 11:49:09 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Wed Mar 06 12:49:33 2013 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtp3.mta.ca ([138.73.1.186]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1UDCqf-0004k0-J6 for gsmc-categories@m.gmane.org; Wed, 06 Mar 2013 12:49:29 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:45291) by smtp3.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1UDCo1-0007xg-Lz; Wed, 06 Mar 2013 07:46:45 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1UDCo0-00035k-2h for categories-list@mlist.mta.ca; Wed, 06 Mar 2013 07:46:44 -0400 Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7618 Archived-At: 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 pro= ject "A Theory of Least-Change for Bidirectional Transformations". The pr= oject is a collaboration between Professor Jeremy Gibbons in the Departme= nt 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 = maintaining consistency between multiple information sources: when one so= urce is edited, the others may need updating to restore consistency. Ther= e are applications in model-driven engineering, database design, and prog= ram development, among others. A bidirectional transformation can be imp= lemented in terms of several unidirectional restoring functions, one per = source; but this duplicates information, wasting effort and risking incon= sistencies. Bidirectional transformation languages allow one to describe = the consistency relationship and the restoring functions with a single de= clarative specification. Our aim in this project is to study the principle of least change: that a= bidirectional transformation should not make unnecessary or unnecessaril= y large changes when it re-establishes consistency. The primary focus of = the Oxford contribution is the development of a theory of alignment for b= idirectional transformations on structured data, especially in the case o= f non-free datatypes such as associative lists and graphs. We conjecture = that the mathematics of container datatypes and combinatorial species wil= l be particularly 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 ti= me 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 informati= on on how to apply, please see the webpage (http://www.cs.ox.ac.uk/news/619-= full.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 inte= rested. 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/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]