School of Computing Science

In areas throughout society, such as healthcare, finance, e-commerce, crime prevention, education, manufacturing and entertainment, algorithms, processes and systems are being built around the use of AI in order to make predictions, recommendations and decisions.  Yet often little is understood about the theoretical and foundational properties of these systems that may impact on our lives.

We are seeking applications from individuals whose research focuses on the formal analysis of such AI systems, with the aim of proving that these systems are responsible, unbiased, trustworthy, secure and robust against adversarial behaviour.  These proof techniques could include, but are not limited to, formal verification (including model checking, theorem proving and SMT solving), formal theories to understand AI optimisation, generalisation, and internal representations, and may involve proving properties about the underlying deep neural networks.

The postholder will develop, lead and sustain research of international standard in Computing Science; contribute to teaching, assessment, project supervision and curriculum design at undergraduate and postgraduate levels; and participate in School management and organisation.  We expect that the postholder will contribute to teaching for the BSc / MSci degree programme in Artificial Intelligence, which the School intends to introduce in September 2026.

Due to the date for presentations and interviews for shortlisted applicants being slightly later than expected (mid-June, online), we are extending the closing date for applications.

Apply