The University of Manchester is making a number of strategic investments in Computer Science.
This lectureship/senior lectureship offers an opportunity to join the University of Manchester's activities in symbolic artificial intelligence, particularly relating to autonomous systems, multi-agent systems, agent-based systems and artificial intelligence planning.
The University is investing heavily for the future, with focus on areas of national importance such as health, security, smart cities, robotics, advanced materials and data-intensive sciences such as physics, astronomy and biology.
It has a strong research profile in data-intensive AI approaches exemplified by the Computer Science Department's Machine Learning group and the University's Institute for Data Science and AI.
Expertise in symbolic AI provides a natural, and increasingly important, complement to these approaches with combined solutions showing strong potential for large scale collaboration and funding.
We are seeking to appoint innovative, curious and creative computer scientists who can help us to build new expertise in symbolic AI and its application to autonomous systems.
We are looking for someone collaborative who can develop new focii for research and teaching in these areas, potentially also strengthening links with the Computer Science Department's Formal Methods and the Information Management Groups, across the Faculty of Science and Engineering, with researchers in the Humanities and Social Sciences who have interests in Trust, Responsibility and Ethics in the area of Autonomous Systems.
You will join the A&V group within the Department of Computer Science https://www.cs.manchester.ac.uk/ and be part of the wider pan-university community tackling autonomy and verification, https://autonomy-and-verification.github.io.
As a member of staff you will contribute to our international portfolio of research in the Autonomy and Verification (A&V) group and be willing to engage across discipline boundaries to apply your work.
You will be supported in application for Fellowships and other funding opportunities, with the benefits of facilitated collaboration with the foremost institutes across the UK.
We welcome applications across career stages with expertise relating to one or more of: agent-based systems, symbolic artificial intelligence, artificial intelligence planning, multi-agent systems, beliefs-desires-intentions programming and models of agency, automated reasoning, and logic and computation.
The Department of Computer Science is a leading research department, and values exceptional researchers.
You will publish to the highest standards, secure external research funding, pursue real-world impact, and contribute to the PhD training programmes within the Department.
The Department of Computer Science values exceptional teachers.
You will play a key role in maintaining our reputation as an institute of learning designing and delivering innovative UG/PG topics, both in your area of expertise and across the spectrum of Computer Science.
Exceptional teachers are encouraged to demonstrate this in their application.
As an equal opportunities employer we welcome applicants from all sections of the community regardless of age, sex, gender (or gender identity), ethnicity, disability, sexual orientation and transgender status.
All appointments are made on merit.
Our University is positive about flexible working you can find out more here Blended working arrangements may be considered Please note that we are unable to respond to enquiries, accept CVs or applications from Recruitment Agencies.
Enquiries about the vacancy, shortlisting and interviews: Name: Professor Andrew Stewart / Dr. Louise Dennis Email: ****** / ****** General enquiries: Email: ****** Technical support: Jobtrain: 0161 850 2004 https://jobseekersupport.jobtrain.co.uk/support/home 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.