Artificial Intelligence Researcher in Neuro-Symbolic Formalisation

3 weeks ago


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 Description

This position involves conducting research within the Autonomy and Verification Group on formalising and analysing Neuro-Symbolic AI. This innovative area seeks to combine the strengths of Neural AI and Symbolic AI approaches, leveraging their respective benefits while minimising their drawbacks.

As a strong researcher, you will focus on providing a formal basis for Neuro-Symbolic AI, drawing from expertise in Temporal Logic, formalising Hybrid Systems, Category Theory, or formal aspects of Neuro-Symbolic AI. Your work will contribute to the company's research on formal methods, autonomous systems, and verification/validation.

This role also entails working as part of the wider Autonomy and Verification Network, expanding your professional network and enhancing your skills.

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


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

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


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

  • AI Researcher

    3 days 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

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

    The University of Manchester is making significant strategic investments in Computer Science to drive future growth.This position provides a unique opportunity to contribute to the University's activities in symbolic artificial intelligence, particularly focusing on autonomous systems, multi-agent systems, agent-based systems and artificial intelligence...


  • 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

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

  • Temporal Logic Expert

    10 hours 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 International Society for Bayesian Analysis Full time

    Research Scientist in Machine Learning and AIWe are seeking a highly skilled Research Scientist to join our team in the Manchester Centre for AI Fundamentals. The successful candidate will have a strong background in machine learning and artificial intelligence, with expertise in areas such as probabilistic modeling, deep learning, and computer vision.Key...


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

    Manchester Metropolitan University is a world-leading research institution driving innovation and societal impact through its Faculty of Science and Engineering.We are seeking an exceptional candidate to join our team as a Senior Research Fellow in Artificial Intelligence, playing a pivotal role in advancing research across one or more of our specialist...


  • Manchester, United Kingdom The International Society for Bayesian Analysis Full time

    Centre Head - AI FundamentalsA highly rewarding position at the University of Manchester, overseeing the establishment of the Centre for AI Fundamentals.Artificial intelligence expertise and technical knowledgeLeadership and management skillsInterpersonal and communication skillsGrant writing and administration experienceLead the development of AI...


  • Manchester, United Kingdom Reply Full time

    Job Title: Artificial Intelligence DeveloperEstimated Salary: €70,000 - €90,000 per yearAbout the RoleThis is a unique opportunity to join Sprint Reply as an Artificial Intelligence Developer and contribute to the creation of innovative automation platforms.Design and develop software solutions for intelligent automation and chatbot technology...