Research Assistant in Infinite-State Systems and Dynamical Systems Verification and Synthesis: Algorithms and Complexity (3 posts)

Fixed term for up to 12 months (with the possibility of one-year extension)
Grade 7: Salary £30,434 – £37,394 p.a.

We are looking to hire 3 postdoctoral Research Assistants to work with Professor Joel Ouaknine and his collaborators on the ERC-funded project "Analysis, Verification and Synthesis of Infinite-State Systems". The aim of this project is to investigate key algorithmic verification questions concerning certain fundamental mathematical structures used to model and analyse infinite-state systems, namely linear dynamical systems (both discrete and continuous) and counter automata, in both ordinary and parametric form. The main focus lies in algorithmic and complexity-theoretic questions, and it is expected that parts of this research may involve the use of a range of advanced mathematical tools, drawn from linear algebra and spectral techniques, number theory, Diophantine and real algebraic geometry, model theory, etc.

You will be expected to manage your own research and administrative activities which will include small scale project management, as well as collaborate in the preparation of research papers for publication in conferences and journals. You may also be required to assist in the supervision of post-graduate students working on related projects.

You will have a PhD or be very close to completion, in a relevant area of science (such as computer science or mathematics) together with a documented track record of completing research projects in the area of algorithms, logic, or verification, as witnessed by published peer-reviewed work. You will possess excellent communication skills and be able to work both independently and as part of a collaborative team.

The posts, which are full-time appointments, are funded by ERC, are available for up to 12 months (with the possibility of one-year extension) and have a salary on the University grade 07S scale (currently £30,434 to £37,394 p.a.). This includes membership of the Universities Superannuation Scheme (USS) and has an annual leave entitlement of 38 days per year (inclusive of all public holidays and university closed periods).

The closing date for applications is 12 noon on 24 August 2015. Interviews are expected to be held on 8 September 2015.

For further details and to apply please visit: https://www.recruit.ox.ac.uk/pls/hrisliverecruit/erq_jobspec_version_4.jobspec?p_id=119446