Skip to main content

Research Assistant on “A Theory of Least-Change for Bidirectional Transformations”

Posted: 1st March 2013

Department of Computer Science

Research Assistant on “A Theory of Least-Change for Bidirectional Transformations”

Grade 07S; Salary: £29,541 - £36,298 p.a.

Applications for invited for a Research Assistant on an EPSRC-funded project "A Theory of Least-Change for Bidirectional Transformations".The project 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. The postholder will be under the supervision of Professor Jeremy Gibbons at Oxford.

The primary focus of the Oxford contribution to the project is the development of a theory of alignment for bidirectional transformations on structured data, especially in the case of non-free datatypes such as associative lists and graphs. We conjecture that the mathematics of container datatypes and combinatorial species will be particularly relevant. 

The ideal candidate will have (or be completing) a doctoral degree in Computer Science, Mathematics, or a closely related discipline, and have a proven background in one of: programming languages, model-driven development, or database theory. Knowledge of algebraic and categorical methods, and experience in designing languages and developing software tools is desirable.  

The closing date for all applications is 12 noon on 2nd April 2013.

For further details, see documents below. To apply, please visit:   

The policy and practice of the University of Oxford require that all staff are offered equal opportunities within employment. Entry into employment with the University and progression within employment will be determined only by personal merit and the application of criteria which are related to the duties of each particular post and the relevant salary structure. In all cases, ability to perform the job will be the primary consideration. Subject to statutory provisions, no applicant or member of staff will be treated less favourably than another because of his or her age, sex, marital or civil partnership status, sexual orientation, religion or belief, racial group or disability.