Neuro-Symbolic AI Expert

4 days ago


Manchester, United Kingdom The University of Manchester Full time
Research Assistant/Associate in Machine Learning

About the Job

We are seeking a highly skilled researcher to join our Autonomy and Verification Group at The University of Manchester. In this role, you will be responsible for conducting research in formal methods, with a particular focus on Neuro-Symbolic AI. This will involve exploring the intersection of machine learning and formal verification, with the goal of developing more explainable and verifiable AI systems.

To succeed in this role, you will need strong expertise in temporal logic, formalising hybrid systems, category theory, or formal aspects of Neuro-Symbolic AI. You should also be comfortable working in a fast-paced research environment and be able to communicate complex ideas effectively.


Key Responsibilities
  • Conduct research in formal methods, with a focus on Neuro-Symbolic AI
  • Develop and maintain expertise in temporal logic, formalising hybrid systems, category theory, or formal aspects of Neuro-Symbolic AI
  • Collaborate with colleagues to advance the state-of-the-art in autonomous systems, verification, and validation
  • Communicate research findings through publications, presentations, and other channels

What We Offer
  • A competitive salary range of £35,000 - £45,000 per annum
  • A comprehensive benefits package, including a market-leading pension scheme and excellent employee health and wellbeing services
  • Exceptional annual leave entitlement, plus bank holidays, and additional paid closure over the Christmas period
  • Local and national discounts at a range of major retailers
  • The opportunity to work as part of a vibrant research community, collaborating with experts in autonomy and verification

About the Team

The Autonomy and Verification Group at The University of Manchester is a dynamic team of researchers and engineers working at the forefront of artificial intelligence and robotics. We are passionate about pushing the boundaries of what is possible in these fields and are seeking talented individuals to join us on this journey.



  • Manchester, United Kingdom The University of Manchester Full time

    Neuro-Symbolic AI ResearcherWe are seeking a skilled researcher to join our team in the Autonomy and Verification Group. This role involves conducting research on formalising and analysing Neuro-Symbolic AI, combining Neural AI approaches with Symbolic AI methods to create explainable and verifiable AI systems.The successful candidate will have expertise in...


  • Manchester, United Kingdom Lifelancer Full time

    About Lifelancer Lifelancer is a talent-hiring platform connecting professionals with opportunities in life sciences, pharma, and IT. Job Title: AI Research Scientist for Neuro-Symbolic AI Formalisation Location: Manchester, UK This role offers an exceptional opportunity to work as an AI research scientist on formalising neuro-symbolic AI within the Autonomy...


  • Manchester, United Kingdom Lifelancer Full time

    Establish a career in cutting-edge AI research at Lifelancer, a talent-hiring platform for Life Sciences, Pharma and IT.A highly competitive salary of £40,000 - £60,000 per annum is offered, reflecting the company's commitment to attracting top talent in the field.Job DescriptionThis position involves conducting research within the Autonomy and...

  • AI Researcher

    3 weeks ago


    Manchester, United Kingdom The University of Manchester Full time

    Researcher in Neuro-Symbolic AIThis position involves conducting research within the Autonomy and Verification Group on formalising and analysing Neuro-Symbolic AI. Combining Neural AI approaches with Symbolic AI methods offers a promising route to create explainable and verifiable AI systems.We seek a strong researcher who can conduct research on logic and...


  • Manchester, United Kingdom The University of Manchester Full time

    The Department of Computer Science at The University of Manchester is a world-renowned institution that values innovation and excellence.This lecturer/senior lecturer position offers a unique opportunity to contribute to the University's activities in symbolic artificial intelligence, particularly focusing on autonomous systems, multi-agent systems,...


  • Manchester, United Kingdom Economicsnetwork Full time

    Job Overview:The Economicsnetwork is seeking an expert in symbolic artificial intelligence to join our team at the University of Manchester. As a key member of our department, you will be responsible for developing and implementing cutting-edge research and teaching methods in symbolic AI and its application to autonomous systems, multi-agent systems,...


  • Manchester, United Kingdom The University of Manchester Full time

    Research Assistant/Associate in Machine LearningAbout the ProjectWe are excited to offer a research assistant/associate position in machine learning within the Autonomy and Verification Group at The University of Manchester. In this role, you will be working on a project focused on developing a formal basis for Neuro-Symbolic AI, which involves combining the...


  • Manchester, United Kingdom University of Manchester Full time

    Key Responsibilities:We are seeking a talented Research Assistant/Associate in Machine Learning to join our Autonomy and Verification Group. The successful candidate will conduct research on logic and formal methods, with a focus on providing a formal basis for Neuro-Symbolic AI.This role involves working on formalising and analysing Neuro-Symbolic AI,...

  • Temporal Logic Expert

    2 weeks ago


    Manchester, United Kingdom The University of Manchester Full time

    Research OpportunitiesThis role offers a unique opportunity to work at the forefront of research in Neuro-Symbolic AI, exploring the intersection of machine learning and formal methods. As a researcher in our Autonomy and Verification Group, you will have the opportunity to collaborate with leading experts in the field and contribute to the development of...


  • Manchester, United Kingdom The University of Manchester Full time

    AI Research PositionWe are looking for an exceptional researcher to join our team in the Autonomy and Verification Group. As a researcher in Neuro-Symbolic AI, you will contribute to the development of formal methods for verifying AI systems, combining the strengths of Neural AI and Symbolic AI.The ideal candidate will have a strong background in logic and...


  • Manchester, United Kingdom The University of Manchester Full time

    Job DescriptionWe are seeking a highly skilled researcher to join our Autonomy and Verification Group at The University of Manchester. This position is focused on formalising and analysing Neuro-Symbolic AI, which combines the strengths of Neural AI and Symbolic AI approaches.The successful candidate will have expertise in Temporal Logic, formalising Hybrid...


  • Manchester, United Kingdom Economicsnetwork Full time

    Job Title: Lectureship/Senior Lectureship in Symbolic Artificial IntelligenceWe are seeking an innovative computer scientist to excel in symbolic AI and its application to autonomous systems, multi-agent systems, agent-based systems, and artificial intelligence planning at the University of Manchester.Key Responsibilities:Develop new focii for research and...


  • Manchester, United Kingdom Economicsnetwork Full time

    Job Title: Expert in Symbolic Artificial IntelligenceWe are seeking an innovative computer scientist to lead our research team at the Economicsnetwork University. The successful candidate will have expertise in symbolic AI, its application to autonomous systems, multi-agent systems, artificial intelligence planning, and agent-based systems.Key...


  • Manchester, United Kingdom The University of Manchester Full time

    Research Assistant/Associate in Machine LearningAbout the RoleIn this exciting research position, you will be working within the Autonomy and Verification Group at The University of Manchester to explore the intersection of machine learning and formal methods. Your primary focus will be on developing a formal basis for Neuro-Symbolic AI, combining the...


  • Manchester, United Kingdom The University of Manchester Full time

    We are looking for someone collaborative who can develop new research and teaching ideas in symbolic AI and its application to autonomous systems. As a member of our department, you will have access to cutting-edge facilities and equipment, as well as opportunities to collaborate with industry partners and other academic institutions.This position offers an...


  • Manchester, United Kingdom The University of Manchester Full time

    Job Title: Machine Learning ResearcherWe are seeking a highly skilled Machine Learning Researcher to join our team at The University of Manchester.The successful candidate will 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...


  • Manchester, United Kingdom The University of Manchester Full time

    The Department of Computer Science at the University of Manchester is a leading research department, and we are seeking an exceptional researcher and teacher to join our team. This lectureship/senior lectureship offers an opportunity to work with us and help build new expertise in symbolic AI and its application to autonomous systems.We are looking for a...

  • AI Product Designer

    2 weeks ago


    Manchester, United Kingdom Peak AI Ltd Full time

    About the RoleWe are seeking a talented AI Product Designer to join our team at Peak AI Ltd. As an expert in designing user experiences, you will be responsible for creating innovative and intuitive interfaces for our suite of AI products.With a strong background in both UX and UI design, you will work closely with our cross-functional team to deliver...


  • Manchester, United Kingdom The University of Manchester Full time

    The University of Manchester is investing heavily in computer science, with a focus on data-intensive AI approaches and symbolic artificial intelligence. This lectureship/senior lectureship offers an opportunity to join our team and help build new expertise in autonomous systems.We are seeking an innovative computer scientist with expertise in one or more of...


  • Manchester, United Kingdom Outlier AI Full time

    About Outlier AIWe help innovative companies improve their AI models by providing human feedback. Our team is looking for experienced physicists to train generative artificial intelligence models.As a freelance opportunity, this role is remote and offers flexible hours. You can work at your convenience, making it ideal for those with other commitments or...