Research Associate in Formalising Neuro-Symbolic AI

at  The University of Manchester

AUTONOMY AND VERIFICATION GROUP - DEPARTMENT OF COMPUTER SCIENCE

This position is to carry out research within the Autonomy and Verification Group on formalising and analysing Neuro-Symbolic AI. Although Neural AI approaches (machine learning, neural networks, etc) can be fast and flexible, they tend to be opaque and prone to uncertainty and although Symbolic AI approaches (rule-based systems, logic) can provide explainability and verifiability they tend to be slow and inflexible. An obvious route is to use a combination of the two, in the form of Neuro-Symbolic AI.
We are looking for a strong researcher able to conduct research on logic and formal methods, with a particular focus on providing a formal basis for Neuro-Symbolic AI. This will require expertise in Temporal Logic, formalising Hybrid Systems, Category Theory, or formal aspects of Neuro-Symbolic AI.
This work fits together with our research on formal methods, on autonomous systems (such as robotics and AI), and on verification and validation. The successful candidate will also undertake this research as part of the wider Autonomy and Verification Network.
Department of Computer Science: https://www.cs.manchester.ac.uk/research
Manchester Centre for Robotics and AI https://www.robotics.manchester.ac.uk
Autonomy and Verification network https://autonomy-and-verification.github.io

Please refer the Job description for details