Artificial Intelligence Researcher in Neuro-Symbolic Formalisation
3 weeks ago
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 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 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...
-
Formalising Neuro-Symbolic AI Expert
4 weeks ago
Manchester, United Kingdom The University of Manchester Full timeThe 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...
-
Neuro-Symbolic AI Expert
3 days 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 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,...
-
Neuro-Symbolic AI Research Associate
4 weeks ago
Manchester, United Kingdom The University of Manchester Full timeWe 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...
-
Research Professor in Symbolic AI
3 days 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,...
-
Researcher in Logic and Formal Methods
4 weeks ago
Manchester, United Kingdom The University of Manchester Full timeWe 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...
-
Artificial Intelligence Lecturer
3 days ago
Manchester, United Kingdom Economicsnetwork Full timeJob 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 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...
-
Machine Learning Researcher
10 hours 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...
-
Neuro-Symbolic AI Developer
4 weeks ago
Manchester, United Kingdom The University of Manchester Full timeJob 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 timeThe 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...
-
Machine Learning Researcher
4 weeks ago
Manchester, United Kingdom The University of Manchester Full timeJob 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...
-
Machine Learning Scientist
3 days 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...
-
Temporal Logic Expert
10 hours 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...
-
Manchester, United Kingdom The International Society for Bayesian Analysis Full timeResearch 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...
-
Data Science and AI Expert
3 days 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...
-
Manchester, United Kingdom Manchester Metropolitan University Full timeManchester 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...
-
Head of Artificial Intelligence
4 weeks ago
Manchester, United Kingdom The International Society for Bayesian Analysis Full timeCentre 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...
-
Artificial Intelligence Developer
4 weeks ago
Manchester, United Kingdom Reply Full timeJob 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...