Neuro-Symbolic AI Expert

7 hours ago


Manchester, United Kingdom The University of Manchester Full time

Neuro-Symbolic AI Researcher

We 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 logic and formal methods, particularly in Temporal Logic, formalising Hybrid Systems, Category Theory, or formal aspects of Neuro-Symbolic AI. The role requires collaboration with researchers in the Autonomy and Verification Group.

Responsibilities:

  1. Conduct research on logic and formal methods for Neuro-Symbolic AI
  2. Develop expertise in relevant areas such as Temporal Logic and Category Theory
  3. Collaborate with researchers in the Autonomy and Verification Group

Benefits:

  • The annual salary for this position ranges from £50,000 to £65,000.
  • Market-leading pension scheme
  • Employee health and wellbeing services
  • Starting annual leave entitlement
  • Paid closure over the Christmas period
  • Local and national discounts at major retailers

About the Role:

This position is part of the Department of Computer Science at the University of Manchester, a leading institution for research and education.



  • Manchester, United Kingdom The University of Manchester Full time

    The University of Manchester seeks a strong researcher to conduct research on logic and formal methods, focusing on providing a formal basis for Neuro-Symbolic AI.This work aligns with our research on formal methods, autonomous systems, and verification and validation, as part of the Autonomy and Verification Network.We are looking for an expert in Temporal...


  • Manchester, United Kingdom The University of Manchester Full time

    Job Summary: We're recruiting a highly skilled developer to work on our Neuro-Symbolic AI project. As a Neuro-Symbolic AI Developer, you will be responsible for designing and implementing cutting-edge AI solutions using formal methods. Your expertise in Temporal Logic, Hybrid Systems, Category Theory, or formal aspects of Neuro-Symbolic AI will be essential...


  • 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...


  • Manchester, United Kingdom The University of Manchester Full time

    We are seeking a highly skilled researcher to join our team at The University of Manchester.The successful candidate will have a strong background in logic and formal methods, with expertise in Temporal Logic, formalising Hybrid Systems, Category Theory, or formal aspects of Neuro-Symbolic AI.As a Research Associate, you will contribute to our research on...

  • AI Researcher

    7 hours 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

    We invite applications for a position as Research Associate in Formalising Neuro-Symbolic AI at The University of Manchester.The role involves conducting research in formal methods and their application to Neuro-Symbolic AI, with a focus on providing a formal basis for this approach.You will work closely with our team to develop new techniques and...


  • 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 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 The University of Manchester Full time

    Job Title: Machine Learning ResearcherWe are seeking a strong researcher to conduct research on logic and formal methods, with a focus on providing a formal basis for Neuro-Symbolic AI, combining the benefits of Neural and Symbolic AI approaches. Key Responsibilities:Fundamental knowledge of Temporal Logic, formalising Hybrid Systems, Category Theory, or...


  • Manchester, United Kingdom The University of Manchester Full time

    Job Description: We're looking for a highly skilled researcher to join our team as a Formal Methods Specialist. As a key member of our research group, you will be responsible for conducting research on formal methods, autonomous systems, verification, and validation. Your expertise in Temporal Logic, Hybrid Systems, Category Theory, or Neuro-Symbolic AI will...

  • AI Security Expert

    12 hours ago


    Manchester, United Kingdom Iceberg Cyber Security Full time

    Iceberg Cyber Security is seeking a highly skilled AI Security Engineer to join our team in Manchester. This role offers a unique opportunity to work on the frontline of AI innovation, developing secure models and protecting critical systems against evolving cyber threats.In this position, you'll leverage your expertise in AI and cybersecurity to design and...

  • AI/ML Expert Leader

    4 weeks ago


    Manchester, United Kingdom Ofcom Full time

    Job Title: AI/ML Expert LeaderEstimated Salary: £85,000 - £110,000 per annumAbout the RoleWe are seeking a highly skilled AI/ML expert leader to join our Technology Team at Ofcom. As a key member of our team, you will play a crucial role in understanding and analysing algorithms behind search, recommender systems, age assurance technologies, and automated...

  • AI Ethics Expert

    13 hours ago


    Manchester, United Kingdom NICE - The National Institute for Health and Care Excellence Full time

    Job SummaryNICE is seeking a highly skilled professional with expertise in Artificial Intelligence technologies to join our committee as a temporary specialist member. This is a fantastic opportunity to contribute to shaping the future of healthcare and improving patient outcomes.Key ResponsibilitiesContribute to the development of NICE guidelines on...


  • Manchester, United Kingdom Economicsnetwork Full time

    Job Role:We are seeking a talented 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. As a key member of our department, you will be responsible for developing and implementing cutting-edge research and teaching...


  • Manchester, United Kingdom Outlier AI Full time €30 - €50

    Outlier helps the world's most innovative companies improve their AI models by providing human feedback. Are you an experienced Expert who would like to lend your expertise to train AI models? Want to apply Read all the information about this position below, then hit the apply button. About the opportunity: Outlier is looking for talented Chemistry...

  • AI Security Engineer

    1 month ago


    Manchester, United Kingdom Iceberg Cyber Security Full time

    Are you a cybersecurity expert with a passion for AI? We're searching for an AI Security Engineer to join our client in Manchester and play a pivotal role in advancing the security of cutting-edge AI systems. This role offers a unique opportunity to work on the frontline of AI innovation, developing secure models and protecting critical systems against...

  • AI Security Engineer

    1 month ago


    Manchester, United Kingdom Iceberg Cyber Security Full time

    Are you a cybersecurity expert with a passion for AI? We're searching for an AI Security Engineer to join our client in Manchester and play a pivotal role in advancing the security of cutting-edge AI systems. This role offers a unique opportunity to work on the frontline of AI innovation, developing secure models and protecting critical systems against...