We are looking for a PhD candidate to work on several fundamental questions necessary for allowing AI methods to support human operators in critical infrastructure. For example, can machine learning tools be combined with conventional optimisers to improve safety and data efficiency? Can complex, structured decisions be made jointly by a human operator and an artificial agent? Can such algorithms deal with hierarchies in decision making, and how can decisions or models be explained and verified? Full details and instructions to apply can be found on this page.