Research Associate On Verification Of Linear Dynamical Systems job in Oxford at University Of Oxford Dept Of Computer Science

Research Associate on Verification of Linear Dynamical Systems

Company: University of Oxford, Dept of Computer Science

Location: Oxford UK

Date Posted:May 16, 2018

Department of Computer Science, Wolfson Building, Parks Road, Oxford.Research Associate in Verification of Linear Dynamical SystemsFixed term for up to 2 yearsFull-time (Part-time or job share considered)Grade 7: £31,604 - £38,833 p.a. The department has a new opening for a Research Associate in Verification of Linear Dynamical Systems, working with Professor James Worrell, and funded by an Established Career Fellowship from EPSRC. The overall goal of this proposal is to develop techniques to solve fundamental computational problems arising in the verification of discrete and continuous linear dynamical systems, including Markov chains, linear recurrence sequences, linear while loops, and linear differential equations.  You will develop algorithms to solve reachability, termination, and synthesis problems for these models by combining a range of computational techniques, including quantifier elimination and lattice reduction, and will use results from number theory (particularly lower bounds in Diophantine approximation). In cases where algorithms cannot be obtained, you will seek reductions from known "hard" problems. The proposal aims to build on, and significantly develop, recent progress of the PI and collaborators in solving long-standing open problems in this area. You should have a PhD (or be close to completion) in a relevant area of science or related discipline, together with a document track record of the ability to conduct and complete research projects in automated verification, automata theory, dynamical systems, or algorithmic algebra and number theory. Experience of independently managing a discrete area of a research project, or of actively collaborating in the development of research articles for publication is highly desirable.The closing date for applications is 12 noon on Wednesday 13th June 2018.The post, which is a full-time appointment, is funded by EPSRC. It has a salary on the University grade 07S scale (currently £31,076 to £38,183 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).Committed to equality and valuing diversity View full job description
JobCentre Plus 1 month ago
Need more jobs?

Submit your CV so employees can contact you directly for more!

Research Associate On Verification Of Linear Dynamical Systems jobs in Oxford

Job location:

Oxford Map of Research Associate On Verification Of Linear Dynamical Systems job in Oxford at University Of Oxford Dept Of Computer Science

JobHits is one of the fastest growing job search engines in the UK. Everyday 30,000+ new jobs, find your ideal job from vacancies at major job boards and companies� careers websites in the UK.

© 2013 - JobHits Pty Ltd