Research Associate the BELINDYSYS Project

at  University of Oxford

We are hiring a full-time research associate to work on the BELINDYSYS research project, based at the Department of Computer Science. Under the supervision of Professor James Worrell, you will have responsibility for carrying out research on algorithmic questions on linear dynamical systems and extensions thereof, such as holonomic sequences and piecewise affine maps. This work draws on connections with a number of areas of computer science and mathematics, including verification, control theory, logic, and number theory. We will support your career development, through supporting your scientific work, and also through attendance to conferences, student supervision and supporting applications for personal fellowships, as appropriate.
You will hold a PhD in Computer Science, Mathematics or related discipline. You will possess either knowledge or a strong interest in in one or more of the following areas: linear recurrences, holonomic sequences, matrix semigroups, and algebraic geometry. Experience of actively developing research outputs such as publications is required.
Applicants will be required to upload a supporting statement, setting out how you meet the selection criteria.
The closing date for applications is 12 noon on 10 June 2024. Interviews are expected to be held in June.

Please refer the Job description for details