Senior Researcher in Infinite-State Systems and Dynamical Systems Verification and Synthesis: Algorithms and Complexity

<div xmlns="http://www.w3.org/1999/xhtml"> <p></p><p>We have an exciting opportunity for a Senior Researcher to work with Professor Joel Ouaknine and his collaborators on the ERC-funded project &#8220;Analysis, Verification and Synthesis of Infinite-State Systems&#8221;. 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.</p><br> <p>You will focus on a range of problems, including reachability, model checking, module checking, synthesis, etc. for linear dynamical systems and counter machines, though our main interests lie in algorithmic and complexity-theoretic questions. 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.</p><br> <p>You should have a relevant PhD/DPhil with post-qualification research experience, including a documented track record of the ability to conduct and complete research in some of the areas of automata theory, dynamical systems, verification, logic, or computational number theory, as witnessed by published peer-reviewed work. Experience of supervising staff, managing a research budget, or of making grant applications is highly desirable.</p><br> <p>Whilst the role is a Grade 8 position, we would be willing to consider candidates with potential but less experience who are seeking a development opportunity, for which an initial appointment would be at Grade 7 (&#163;31,604 - &#163;38,833 p.a.) with the responsibilities adjusted accordingly (for Grade 7, you would be expected to hold a doctoral degree in Computer Science or be close to completion). This would be discussed with applicants at interview/appointment where appropriate.</p><br> <p>The closing date for applications is 12.00 noon on 15 March 2018.</p> </div>