Research Associate in Formalising Neuro-Symbolic AI
Research Associate in Formalising Neuro-Symbolic AI
Employer Active
Job Alert
You will be updated with latest job alerts via email
Share
Job Alert
You will be updated with latest job alerts via email
Not Disclosed
Salary Not Disclosed
1 Vacancy
Job Description
Job Title: Research Associate in Formalising NeuroSymbolic AI
Job Location: Manchester UK
Job Location Type: Hybrid
Job Contract Type: Fulltime
Job Seniority Level: Entry level
This position is to carry out research within the Autonomy and Verification Group on formalising and analysing NeuroSymbolic 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 (rulebased 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 NeuroSymbolic 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 NeuroSymbolic AI. This will require expertise in Temporal Logic formalising Hybrid Systems Category Theory or formal aspects of NeuroSymbolic 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:
Manchester Centre for Robotics and AI
Autonomy and Verification network
What You Will Get In Return
- Fantastic market leading Pension scheme
- Excellent employee health and wellbeing services including an Employee Assistance Programme
- Exceptional starting annual leave entitlement plus bank holidays
- Additional paid closure over the Christmas period
- Local and national discounts at a range of major retailers
Our University is positive about flexible working – you can find out more here
Hybrid working arrangements may be considered.
Please note that we are unable to respond to enquiries accept CVs or applications from Recruitment Agencies.
Any recruitment enquiries from recruitment agencies should be directed to .
Any CV’s submitted by a recruitment agency will be considered a gift.
Enquiries about the vacancy shortlisting and interviews:
Name: Prof. Michael Fisher
Email:
General enquiries:
Email:
Technical support:
This vacancy will close for applications at midnight on the closing date.
Please see the link below for the Further Particulars document which contains the person specification criteria.
/jobs/view/52ef4e61a383b92da39bcd52952bd47b
Employment Type
Full Time
