Neuro-Symbolic AI Expert
4 days ago
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.
-
Neuro-Symbolic AI Expert
3 weeks ago
Manchester, United Kingdom The University of Manchester Full timeNeuro-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 timeAbout 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 timeEstablish 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 timeResearcher 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...
-
Research Professor in Symbolic AI
3 weeks ago
Manchester, United Kingdom The University of Manchester Full timeThe 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 timeJob 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,...
-
Formal Methods Specialist
4 days ago
Manchester, United Kingdom The University of Manchester Full timeResearch 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...
-
Formal Methods Specialist
2 days ago
Manchester, United Kingdom University of Manchester Full timeKey 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 timeResearch 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...
-
Machine Learning Scientist
3 weeks ago
Manchester, United Kingdom The University of Manchester Full timeAI 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...
-
Machine Learning Researcher
2 weeks ago
Manchester, United Kingdom The University of Manchester Full timeJob 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...
-
Data Science and AI Expert
3 weeks ago
Manchester, United Kingdom Economicsnetwork Full timeJob 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...
-
Research Professor in AI and Robotics
1 week ago
Manchester, United Kingdom Economicsnetwork Full timeJob 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...
-
Machine Learning Researcher
4 days ago
Manchester, United Kingdom The University of Manchester Full timeResearch 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...
-
AI and Autonomous Systems Expert
3 days ago
Manchester, United Kingdom The University of Manchester Full timeWe 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...
-
Machine Learning Researcher
2 weeks ago
Manchester, United Kingdom The University of Manchester Full timeJob 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...
-
AI Researcher in Autonomous Systems
1 week ago
Manchester, United Kingdom The University of Manchester Full timeThe 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 timeAbout 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 timeThe 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...
-
Physics Expertise Sought for AI Development
1 week ago
Manchester, United Kingdom Outlier AI Full timeAbout 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...